Assertion: set | /r/HasAspect | same elements
Facets:
value: in v
type: LOCATION
value: by l 's transitivity
type: CAUSE
value: in l
type: LOCATION
Source sentences:
text: In standard axiomatic set theory, by the principle of extensionality, two sets are equal if they have the same elements; therefore there can be only one set with no elements.
text: Two sets are equal if and only if they have the same elements.
text: Axiom of extensionality: Two sets are the same if they have the same elements.
text: If x and y are in L and they have the same elements in L , then by L 's transitivity, they have the same elements (in V ).
text: If x and y are in L and they have the same elements in L , then by L 's transitivity, they have the same elements (in V ).