Пусть $f\in\operatorname{Fun}(X,Z)$ и $g\in\operatorname{Fun}(Y,Z)$, где $X$, $Y$ и $Z$ — произвольные множества. Тогда всякая пара $(x,y)$ такая, что $x\in X$, $y\in Y$ и $f(x)=g(y)$, называется зубцом пары функций $(f,g)$.