Category:Quasi-Reflexive Relations

From ProofWiki
Jump to navigation Jump to search

This category contains results about Quasi-Reflexive Relations.
Definitions specific to this category can be found in Definitions/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.

Subcategories

This category has the following 2 subcategories, out of 2 total.

Pages in category "Quasi-Reflexive Relations"

The following 2 pages are in this category, out of 2 total.