В каждой из этих упорядоченных пар (a, b) первый элемент a из домена, второй элемент b из codomain, и каждый элемент в домене является первым элементом ровно в одной упорядоченной паре.
Каждый элемент домена будет связан с одним элементом кодомена.