reflexive relation

A binary relation R over a set A is reflexive if for all a in A, aRa. In other words, \forall a \in A, (a, a) \in R.

« Back to Glossary Index