Математическое определение тип данных