In a symmetric relation, each of the diagonal pairs can be chosen independently. For each of the unordered pairs of distinct elements, either both ordered pairs occur or neither occurs. Every such choice is free and produces a distinct symmetric relation. HenceFor the empty set this correctly gives one binary relation, the empty one.
Articles by others on the same topic
There are currently no matching articles.