1) матем. понятие, означающее соответствие между элементами двух множеств X и У, относящее каждому элементу х из X нек-рый элемент у из Y. Эквивалентный смысл имеют термины "отображение", "преобразование", "функция". Обычно термин "О." используется, когда X и У - множества из функцией. пространств. 2) (В вычислит. технике) предписание в данном языке программирования, предназначенное для задания нек-рого завершённого действия в процессе переработки информации на ЭВМ.