n (mathematics) A map which maps a subspace (smaller structure) to the whole space (larger structure).