Assertion: collection's element | /r/AtLocation | one of these subsets
Facets:
value: exactly
type: DEGREE
Source sentences:
text: A partition of a set S is a set of nonempty subsets of S such that every element x in S is in exactly one of these subsets.