reflexive relation
A relation on a set is reflexive
if and only if for all .
For example, let .Then is a reflexive relation on ,because it contains for all .However, is not reflexivebecause it does not contain .
On a finite set with elements there are relations,of which are reflexive.