Частичная функция

Частичная функция – функция, определенная только на части своего кодового домена.
В математике, частичные функции играют важную роль в различных областях, таких как денотационная семантика и теория категорий.
Примеры частичных функций включают натуральный логарифм и вычитание натуральных чисел.
В информатике, частичные функции соответствуют подпрограммам, вызывающим исключения или выполняющим вечный цикл.
В теории категорий, операция композиции морфизмов является функцией только при определенных условиях.
В абстрактной алгебре, частичная алгебра обобщает понятие универсальной алгебры на частичные операции.

Полный текст статьи:

Частичная функция — Википедия