tran­si­tii­vi­suus

Ensimmäistä ominaisuutta sanotaan refleksiivisyydeksi, toista symmetrisyydeksi ja kolmatta transitiivisuudeksi.

Tämä seuraa transitiivisuudesta, jonka mukaan jos x = y ja y = z, tällöin x = z. Koska S2 ja S3 ovat kummatkin selvästi eri laivoja, jotka ovat eri puolilla satamaa, tällöin on kolme vaihtoehtoa: S2 on sama kuin S1;