Tabir tam doğru değil. Z'nin elemanlarının başka bir şekilde gösterilmesi değil mesele. Z'nin elemanları kullanılarak tanımlanmış bir bağıntı var, B, ve belli özelliği sağlayan (x,y) sıralı ikililerinden oluşuyor. Yansıma özelliği varsa (x,x) elemanı da B'de olmalıdır ("x'i, y'ye eşit kabul etmek" sanki çok güzel değil).