このとき、rがa,b,...,z上の射影の結合と等しいときかつそのときに限り、rは結合従属性