Category:Preorder Theory

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

$\RR$ is a preordering on $S$ if and only if $\RR$ satifies the preordering axioms:

$(1)$	$:$		$\RR$ is reflexive	$\ds \forall a \in S:$	$\ds a \mathrel \RR a $
$(2)$	$:$		$\RR$ is transitive	$\ds \forall a, b, c \in S:$	$\ds a \mathrel \RR b \land b \mathrel \RR c \implies a \mathrel \RR c $

Subcategories

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

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

\((1)\)	$:$		$\RR$ is reflexive	\(\ds \forall a \in S:\)	\(\ds a \mathrel \RR a \)
\((2)\)	$:$		$\RR$ is transitive	\(\ds \forall a, b, c \in S:\)	\(\ds a \mathrel \RR b \land b \mathrel \RR c \implies a \mathrel \RR c \)