Set Member Relation

A Set Member Relation is a binary set relation that is a member-of relation (between one or more set member items and a set, that test whether all item are set members of the set).

• AKA: SetMember, MemberOf Set.
• Context:
  • It can be tested through a Set Membership Test Task.
  • It can be instantiated as a Set Membership Test Classifier.
• Example(s):
  • SetMember(person, Mammal) ⇒ True.
  • SetMember(5, {1,2,3}) ⇒ False.
  • SetMember({2,5}, {1,2,3}) ⇒ False.
  • SetMember(π, The Real Number Sequence) ⇒ True.
  • …
• Counter-Example(s):
  • a Set Excludes Relation/Excludes.
  • a Set Cardinality Function.
  • a Union Operation.
  • a Sequence Member Relation.
  • a Multiset Member Relation.
  • a Tuple Member Relation.
• See: Concept Class Member, Set Operation.

---