TheoremBase

Axiom of Replacement for Classes

If a class assigns to each set at most one set through its ordered pairs, then the sets assigned to the elements of any given set form a set.

Statement

Let YY be a class such that, for all sets vv, uu and u′u', if the ordered pairs satisfy (v,u)∈Y(v,u)\in Y and (v,u′)∈Y(v,u')\in Y, then u=u′u=u'. Then for every set xx there is a set yy such that, for every set uu, u∈yu\in y if and only if there is a set vv with v∈xv\in x and (v,u)∈Y(v,u)\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…