あ、推移律とは例えば a > b かつ b > c なら a > c である といった規則。 数の大小や同値関係はこれを満たします。(a=b かつ b=c ならa=c) でもじゃんけんは推移律満たしません。 (グーはチョキより強い かつ チョキはパーより強い ならば グーはパーより強い、は成立しない)