Category:Preorder Theory

From ProofWiki
Jump to navigation Jump to search

This category contains results about Preorder Theory.
Definitions specific to this category can be found in Definitions/Preorder Theory.

$\mathcal R$ is a preordering on $S$ if and only if:

\((1)\)   $:$   $\mathcal R$ is reflexive      \(\displaystyle \forall a \in S:\) \(\displaystyle a \mathrel {\mathcal R} a \)             
\((2)\)   $:$   $\mathcal R$ is transitive      \(\displaystyle \forall a, b, c \in S:\) \(\displaystyle a \mathrel {\mathcal R} b \land b \mathrel {\mathcal R} c \implies a \mathrel {\mathcal R} c \)