ß bağıntısının K. kümesinde değillemeli-geçişli olması (?) . || Her değillemeli-geçişli bakışımsız bağıntı geçişlidir.
