Tahap 1. Periksa refleksivitas dengan membandingkan \(p(x)\) dengan dirinya sendiri, lalu gunakan simetri kesamaan untuk memeriksa simetri relasi.

Tahap 2. Untuk transitivitas, mulai dari \(p(x)=p(y)\) dan \(p(y)=p(z)\text{.}\) Perhatikan bahwa kesurjektifan tidak diperlukan untuk ketiga pemeriksaan ini.