A relation R on a set A is reflexive if for each element x in A, x is related to itself by R. Symbolically: $ \forall x \in \mathrm{A} (x\mathrm{R}x) $ See also irreflexive symmetric transitive Categories: Relations Mathematics Community content is available under CC-BY-SA unless otherwise noted.
