In
mathematics, a
binary relation R on a set
X is
reflexive if
a is
R-related to itself for any
a ∈
X. For example, "greater than or equal to" is a reflexive relation but "greater than" is not. All
equivalence relations and
partial orders are reflexive.