n (mathematics) A relation in which each element of the domain is associated with exactly one element of the codomain.