В лекциях по Дискретной математике у меня встретилось утверждение (дословно):
Цитата:
Пусть k- соответствие; на основе определения

соответствию k может быть сопоставлено отображение из булеанов

.
Отображение

может быть сопоставлено соответствию

P.S. Мы обозначаем соответствия

, где

Я не очень понимаю, что за подмножество мы выбираем, все равно булеаны берём от множества X и Y.
На примере конечных множеств не могли бы вы показать работу данного утверждения?