Zbiór wszystkich relacji dwuargumentowych między zbiorami ma moc
Własności
thumb|Całkowita, niesuriektywna relacja funkcyjna będąca iniekcją thumb|Odpowiedniość jednoznaczna tylko prawostronnie Jednoznaczność jednoznaczność lewostronna lub iniektywność,
jednoznaczność prawostronna lub funkcyjność,
jednoznaczność obustronna bądź wzajemna (1-1), iniektywność i funkcyjność.
Całkowitość całkowitość lewostronna lub krótko całkowitość,
całkowitość prawostronna lub suriektywność,
odpowiedniość, całkowitość i suriektywność.
Funkcją nazywa się dowolną relację funkcyjną całkowitą (lewostronnie), jeśli to funkcję nazywa się zwykle działaniem jednoargumentowym; z kolei wzajemnie jednoznaczną odpowiedniość, nazywaną bijektywnością, nazywa się funkcją wzajemnie jednoznaczną lub bijekcją. W przypadku funkcji pojęcia dziedziny, przeciwdziedziny i obrazu pokrywają się z definicjami dla relacji; nazywanie wtedy dziedziną dziedziny lewostronnej nie prowadzi do niejasności, gdyż są one sobie równe.