Ef $f: X \to Y$ og $g: Y \to Z$ eru andhverfanlegar varpanir, þá er samskeytingin $g \circ f: X \to Z$ andhverfanleg og andhverfa hennar $(g \circ f)^{-1}: Z \to X$ er gefin með jöfnunni \[ (g \circ f)^{-1} = f^{-1} \circ g^{-1}. \]
Venn-myndin að neðan sýnir hvernig jafnan er fengin.