Defines when a function F:A→B between classes is injective, surjective onto B, or bijective.
In the setting of Class Theory NBG: the Axioms, Standing Conventions and Basic Notation, let and be classes and let be a map; for , is the value of at .
is injective (one-to-one) if, for all sets , implies .
is surjective (maps onto ) if, for every set , there is a set with .
is bijective, or a bijection from to , if it is both injective and surjective.
Loading…
No relations recorded yet.