TheoremBase

Injective, Surjective and Bijective Functions between Classes

Defines when a function F:A→B between classes is injective, surjective onto B, or bijective.

Statement

In the setting of Class Theory NBG: the Axioms, Standing Conventions and Basic Notation, let AA and BB be classes and let F:A→BF:A\to B be a map; for u∈Au\in A, F(u)F(u) is the value of FF at uu.

FF is injective (one-to-one) if, for all sets u,u′∈Au,u'\in A, F(u)=F(u′)F(u)=F(u') implies u=u′u=u'.

FF is surjective (maps AA onto BB) if, for every set v∈Bv\in B, there is a set u∈Au\in A with F(u)=vF(u)=v.

FF is bijective, or a bijection from AA to BB, if it is both injective and surjective.

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…