TheoremBase

Axiom of Extensionality for Classes

Two classes with the same elements are equal.

Statement

Let XX and YY be classes. If, for every set zz, z∈Xz\in X holds if and only if z∈Yz\in Y holds, then X=YX=Y.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…