ให้ X เป็นชุดและ D: X2 → R + จะทำแผนที่ดังกล่าวว่าสำหรับทุก x, y ∈ X และสำหรับจุดที่แตกต่างกันทั้งหมด Z, W ∈ X แต่ละของพวกเขา di FF ต่างกันจาก x และ y หนึ่งมี
ให้ X เป็นเซต D : r + X2 → keyboard - key - name เป็นแผนที่เช่นว่าสำหรับทุก x , y ∈ x และทุกจุดที่แตกต่าง z , w ∈ x แต่ละของพวกเขาในff erent จาก x และ y เป็นหนึ่งได้