Reflexive relation

Set

context $ X $
definiendum $ R\in\mathrm{ReflexiveRel}(X) $
context $ R \in \mathrm{Rel}(X) $
$ x\inX $
postulate $ xRx $

Discussion

Parents

Subset of

Total relation