ß bağıntısının birebir olması, K nın x,y,z öğeleri için ile ya da ile ß bağıntısının içinde olduğunda, x. = y olması demektir.