reflexive relation

let $\text{[math]}$ be a relation over set $\text{[math]}$ , we say $\text{[math]}$ is reflexive if for every $\text{[math]}$ its true that $\text{[math]}$ (or we can write $\text{[math]}$ ).

$\text{[math]}$

$\text{[math]}$ isnt reflexive $\text{[math]}$ there exists $\text{[math]}$ so that $\text{[math]}$

matrices that represent reflexive relations are always in echelon form, e.g.:

  ld(identity_matrix(7))

:results:
:end: