ß bağıntısının K kümesinde bireçok olması, K nın x,y,z öğeleri için, ile ß bağıntısının içinde olduğunda, x=y olması demektir.
