table of contents

reflexive relation

2024-01-01

let be a relation over set , we say is reflexive if for every its true that (or we can write ).

isnt reflexive there exists so that

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