Assertion: set | /r/HasProperty | defined
Facets:
value: directly
type: MANNER
value: implicitly
type: MANNER
Source sentences:
text: If A is a set, then the absolute complement of A (or simply the complement of A) is the set of elements not in A, within a larger set that is implicitly defined.
text: A set can be described directly by enumerating all of its elements between curly brackets, as in the following two examples:
text: Thus, set-builder notation is often used with a predicate characterizing the elements of the set being defined, as described in the following section.
text: All values of x for which the predicate holds (is true) belong to the set being defined.