Overview of Reflexive Relations
Description
A detailed tutorial on the property of reflexive relations. Step by step tutorial including several examples of reflexive relations for reference.
Overview
A reflexive relation can be mathematically defined as for all x belonging to A, x R x. In this statement, A is a set, and R is a relation of that set. If the relation is an empty set, then it is not reflexive, unless the set itself happens to be an empty set. When writing a proof for a reflexive relation, you must attempt to prove that (x, x) does not belong to R. If you cannot prove this, then you know that the relation must be reflexive.

