Sia $X$ un insieme e $R$ una relazione binaria definita sul prodotto cartesiano $X \times X$.
Allora $R$ gode della proprietà riflessiva se $\forall x \in X \Rightarrow x \sim x$
L’uguaglianza su $\mathbb{Z}$ è riflessiva perché $a=a$ per ogni $a$.