Пусть a∈Aи b∈B и между этими множествами установлено соответствие S, при этом aSb. Тогда:
а) a – это образ элемента bпри соответствии S, а b – это прообраз элемента aпри этом соответствии;
б) b– это образ элемента aпри соответствии S, а a– это прообраз элемента bпри этом соответствии;
в) элементы a и b взаимно заменимы;
г) элементы a и b равны.