Olabilir. Şöyle:
$X=\{a\}, Y=\{1,2\}$ ve $Z=\{b\}$ olmak üzere
$$\alpha=\{(a,1),(a,2)\}\subseteq X\times Y$$ ve $$\beta=\{(1,b)\}\subseteq Y\times Z$$ bağıntıları birer fonksiyon olmamalarına karşın $$\beta\circ \alpha :=\{(x,z)|(\exists y\in Y)((x,y)\in\alpha)((y,z)\in\beta )\}=\{(a,b)\}\subseteq X\times Z$$ bağıntısı $X$ kümesinden $Z$ kümesine bir fonksiyondur.