Assertion: set's element | /r/HasProperty | set
Facets:
Source sentences:
text: If M is a set or class whose elements are sets, then x is an element of the union of M if and only if there is at least one element A of M such that x is an element of A.