反射律 reflexivity rule

$A$ 上の関係 $R$ に関して,\[\forall x \bigl[\bigl(x \in A\bigl) \Rightarrow xRx\bigr]\]が成立するとき,反射律（reflexivity rule）が成立するといいます.

\[\begin{xy}\xymatrix {&*++[o][F-]{x}\ar@(lu,ld) []_{} }\end{xy}\]

Mathematics is the language with which God has written the universe.