Большой англо-русский словарь (с транскрипциями) FORMAL characterization мат. формализация, формальное определение