MathGloss

A binary relation RR on a set XX (i.e. a subset of X×XX \times X) is reflexive if it relates every xXx \in X to itself. That is, for all xXx \in X, (x,x)R(x,x) \in R.

Wikidata ID: Q621850