#?SuikaWiki/0.9
[1] [DFN[反射性]]: [CODE(math)[(∀[VAR[x]] ∈ [VAR[X]]) [VAR[x]][VAR[R]][VAR[x]]]]