Pada \(f^{-1}\text{,}\) setiap unsur \(C\) muncul sekali sebagai koordinat pertama, sehingga eksistensi dan ketunggalan terpenuhi. Pada \(g^{-1}\text{,}\) \(p\) mempunyai dua keluaran dan \(r\) tidak mempunyai keluaran. Pada \(h^{-1}\text{,}\) \(q\) mempunyai dua keluaran. Untuk relasi invers umum, setiap \(t\in T\) muncul sebagai koordinat pertama sedikitnya sekali tepat ketika \(F\) surjektif, dan paling banyak sekali tepat ketika \(F\) injektif. Kedua syarat fungsi berlaku tepat ketika \(F\) bijektif.