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.