TheoremBase

Axiom of Separation for Classes

The elements of a set that belong to a given class form a set.

Statement

For every set xx and every class YY there is a set zz such that, for every set uu, u∈zu\in z if and only if u∈xu\in x and u∈Yu\in 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…