# Reflexivity

A binary relation **R** over a set X is reflexive if it relates every element of X to itself.