Multiset Member Relation

A Multiset Member Relation is a binary multiset relation that is a member-of relation (between multiset members of a multiset).

• AKA: MemberOf Multiset.
• Example(s):
  • MemberOf({a,a,b},{a,a,c,b}) ⇒ true.
  • MemberOf({a,a,b},{a,c,b}) ⇒ false.
  • …
• Counter-Example(s):
  • a Tuple Member Relation.
  • a String Member Relation.
  • a Sequence Member Relation.
  • a Set Member Relation.
• See: Multiset Operation.

---

---