Hugtakasafn

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.