語w1の最後の文字と語w2の最初の文字が等しいとき、そのときのみR(w1,w2)とする二項関係のみが入った代数系。