# MemberOf Relation

Jump to navigation
Jump to search

A MemberOf Relation is a strict partial order binary relation between a thing (the member) an another thing.

**AKA:**∈, Member Of Relation, In, Membership, Element Of.**Context:**- It can be a:
- It can be read as “[math]\displaystyle{ x }[/math]
*is a member of set*[math]\displaystyle{ X }[/math]". - It can be written as: “[math]\displaystyle{ x \in X }[/math]"

**Example(s):**- Set Member Relation, such as an Is A Type Of Relation (between a subclass concept and a superclass concept).
- Multiset Member Relation, such as between a Multiset Member and a Multiset.
- Sequence Member Relation, such as between a Sequence Member and a Sequence.
- String Member Relation, such as between a String Member and a string.
- Tuple Member Relation, such as between a Tuple Member and a Tuple.

**See:**Non-Member Relation, Subset Relation, IsA Relation.