Example image of eyePlorer eyePlorer map for 'Surjective function': Codomain Function (mathematics) Mathematics Range (mathematics) Domain of a function Identity function Modular arithmetic Exponential function Matrix (mathematics) Matrix exponential General linear group Group (mathematics) Invertible matrix Axiom of choice If and only if Inverse function Bijection Function composition Cancellation property Category of sets Category theory Epimorphism Cardinal number Cardinality Finite set Injective function Image (mathematics) Subset Browder-Minty theorem Cover (algebra) Ehresmann's theorem Factorization system Fibered manifold Horizontal line test Open mapping theorem (functional analysis) Projection (mathematics) Retract (group theory) Subcountability Submersion (mathematics) Symmetric group Θ (set theory) Banach bundle Boundary parallel Cardinal assignment Covering graph Fiber bundle Goursat's lemma Index set Isomorphism extension theorem Lumer-Phillips theorem