Latihan

\forall x \in D:\exists y \in K:r\left( x,\ y \right)

r\left( x,\ y_{1} \right) \land r\left( x,y_{2} \right) \Rightarrow y_{1} = y_{2}

Tuliskan definisi unik kiri dan unik kanan dalam bentuk kontraposisinya. Apakah kontraposisi membuatnya menjadi lebih mudah dimengerti?
Jelaskan juga untuk kedua sifat lainnya.

Berikutnya: Tes garis