Это не бинарная операция, ни то, ни другое. Это вообще не операция.
Ну вы чего, так же нельзя людям раз и всё в один шаг перекрывать. Пускай побудет немного операцией, хотя это будет не совсем операция, потому что множество значений не совпадает с множеством значений аргументов, а есть вместо этого классификатор подобъектов
. (Дальше собирался написать умные слова, но потерял книгу, в которой было ясно написано, что с чем путать не надо, а так не помню, так что определять его здесь в контексте IZF не будем. Просто где-то я однажды встречал слова, что множество логических значений как объект самой теории, а не её метатеории, хорошо не определяется, а через пару лет оказалось, что на самом-то деле, если быть аккуратным, то почему бы и нет — или я чего-то не понял, и здесь тогда самое место меня поправить кому-то другому.)