Табл. 4. Количество соответствий из множества X (с количеством элементов x) в множество A (с количеством элементов a). C^k означает множество C с количеством элементов в нем k. Нижние индексы означают, что подсчитывается количество соответствий, обладающих теми свойствами, обозначения которых вошли в индексы:

p — всюду определенные соответствия;

f — функциональные соответствия;

i — инъективные соответствия;

s — сюръективные соответствия.