1. Однозначное соответствие элементов множеств, это не простое отношение, словно и импликация может итерировать. Так может быть одно однозначное соответствие. Кантор иногда ни видит этого, как и многого иного, логической многозначности, скажем, что имплицирует его теория множеств, что получила колоссальное развитие в 20 веке. Хоть и использует термин валентность. (Здесь, отсылка к Георг Кантор. Труды по теории множеств М, 1985, теперь, стр. 277. Далее, аллюзии на труды в переводах из этого издания...