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.
Let be a class such that, for all sets , and , if the ordered pairs satisfy and , then . Then for every set there is a set such that, for every set , if and only if there is a set with and .
Loading…
No relations recorded yet.