ß bağıntısının K kümesinde çoğabir olması, her x, y, z için ile ß bağıntısının içinde olduğunda y = z olması demektir.
