Binary Multiset Relation

A Binary Multiset Relation is a multiset relation that is a binary relation.

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

---