ความสัมพันธ์หรือเซตของคู่อันดับซึ่งในสองคู่อันดับใด ๆ ถ้ามีสมาชิกตัวหน้าเหมือนกันแล้วสมาชิกตัวหลังต้องเหมือนกันด้วย