Множество допустимых значений переменной: математические основы