野生の思考

X X
X X

名前をつけよう。

a b
c d

aRb かつ cRd とする。 aR'b ならば、cR'd