|
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 reflexive because it does not contain .
On a finite set with elements there are relations, of which are reflexive.
|