Bijection

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A mapping between two sets that is both injective and surjective, so each element of the domain corresponds to exactly one element of the codomain and every codomain element is paired with some domain element.