In NBG, replacement makes the image of a set under a function a set, and a function whose domain is a set is itself a set, being a subclass of the Cartesian product of its domain with its image.
In the setting of Class Theory NBG: the Axioms, Standing Conventions and Basic Notation, let be a function.
For every set , the image is a set.
If the domain is a set, then is a set.
Loading…
No relations recorded yet.