Tahap 1. Untuk refleksivitas dan simetri, gunakan bahwa \(0\in\Z\) dan bahwa lawan suatu bilangan bulat tetap bilangan bulat.

Tahap 2. Untuk transitivitas, jumlahkan selisih koordinat dari pasangan pertama dan pasangan kedua.