Assertion: set | /r/DefinedAs | set builder notation
Facets:
Source sentences:
text: Sets defined by set builder notation are equal if and only if their set builder rules, including the domain specifiers, are equivalent.
text: Therefore, in order to prove the equality of two sets defined by set builder notation, it suffices to prove the equivalence of their predicates, including the domain qualifiers.