2.6.C. Отображения

Отображение теперь может быть определено просто как бинарное отношение, которое является и однозначным и полностью определенным.  Это в сущности совпадает с хорошо известным понятием "функция". Это оператор (разумеется), но теперь как с простым множеством с ним возможны операции; мы, таким образом, сейчас имеем исчисление, в котором операторы могут оперироваться, свойства могут иметь свойства (объединенные в множества), отношения могут быть связаны и т.д.

Перевод © 2011 Сергей Котов

Теория множеств механизма и гомеостаза