Category:Definitions/Quasi-Reflexive Relations

This category contains definitions related to Quasi-Reflexive Relations.
Related results can be found in Category:Quasi-Reflexive Relations.

Definition 1

$\RR$ is quasi-reflexive if and only if:

$\forall x, y \in S: \tuple {x, y} \in \RR \implies \tuple {x, x} \in \RR \land \tuple {y, y} \in \RR$

Definition 2

$\RR$ is quasi-reflexive if and only if:

$\forall x \in \Field \RR: \tuple {x, x} \in \RR$

where $\Field \RR$ denotes the field of $\RR$.

Definition 3

$\RR$ is quasi-reflexive if and only if $\RR$ is both left quasi-reflexive and right quasi-reflexive.