Assertion: set's element | /r/AtLocation | the subset
Facets:
value: exactly
type: DEGREE
Source sentences:
text: i -th element of S is in the subset; otherwise, the i -th element is not in the subset.
text: A partition of a set X is a set of non-empty subsets of X such that every element x in X is in exactly one of these subsets (i.e., X is a disjoint union of the subsets).