[Paul Kellerman]

Нет, тут все проще. Вместо одного множества = {М, Ж} вводится несколько независимых
множеств, далее строятся бинарные, тернарные и более-арные отношения между ними.