ß bağıntısının K kümesinde geçişsiz olması, K nın x, y, z öğeleri için ile ß nın öğesi olduğunda nin ß'nin öğesi olmamasıdır. || (?)
