surjective function
function such that every element of the codomain has a preimage
projection
idempotent mapping of a mathematical set into its subset
bijection
mathematical function which is a one-to-one mapping of sets
unitary operator
surjective bounded operator on a Hilbert space preserving the inner product
fibered manifold
mapping in differential geometry