Titik-titik berwarna merah menandakan pasangan-pasangan terurut bilangan asli . Garis putus-putus menandakan pasangan-pasangan terurut yang berada pada kelas ekuivalensi yang sama.