Equivalence of Definitions of Coreflexive Relation

Theorem
The following definitions of coreflexive relation are equivalent: