Assertion: set | /r/MadeOf | element
Facets:
value: from a regular sequence
type: OTHER
Source sentences:
text: Check if Set Contains Element
text: To determine if the Set contains the element, the Set will internally iterate its elements and compare each element to the object passed as parameter.
text: The Reflection Principle encapsulates the essence of ZF set theory, for as shown by Levy (1960), the axioms of Extensionality, Separation, and Foundation, together with the Reflection Principle, formulated as the axiom schema asserting that each formula is reflected by some set that contains all elements and all subsets of its elements (note that the \(V_\alpha\) are like this), is equivalent to ZF.
text: When it is desired to denote a set that contains elements from a regular sequence an ellipses notation may be employed, as shown in the next examples:
text: The empty set is the set containing no elements.
text: There is a special name for the set which contains no elements.