上記の式は、「ー」という記号の反射律を示しています。
さらに、「あーい かつ いーう → あーう」(推移律)と、「あーい → いーあ」(反射律)が成り立つ場合、「ー」は同値関係と呼ばれます。
ただし、「あ」「い」「う」は同値関係が定義される集合内の任意の元だとします。
Permalink | 記事への反応(0) | 22:33
ツイートシェア