2009-12-11 反射律 math reflexive law (xRx) の訳だが,反射という感じがしない. 再帰動詞 (reflexive verb)にならって再帰律と訳した方がよいのではないか.