Binary Set Relation

A Binary Set Relation is a set relation that is a binary relation.

• AKA: Two Set Relation.
• Context:
  • It can be a Total Binary Set Relation, that is defined for every set member.
  • …
• Example(s):
  • Subset Relation.
  • an Is Set Member Relation.
  • …
• Counter-Example(s):
  • a Unary Set Relation.
  • an N-ary Set Relation.
  • a Binary Multiset Relation.
• See: Counting Function.

---