MathGloss

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

Wikidata ID: Q621850