Axiom:Strict Ordering Axioms/Formulation 2
Jump to navigation
Jump to search
Definition
Let $\RR$ be a relation on a set $S$.
$\RR$ is a strict ordering on $S$ if and only if $\RR$ satisfies the axioms:
\((1)\) | $:$ | Antireflexivity | \(\ds \forall a \in S:\) | \(\ds \neg \paren {a \mathrel \RR a} \) | |||||
\((2)\) | $:$ | Transitivity | \(\ds \forall a, b, c \in S:\) | \(\ds \paren {a \mathrel \RR b} \land \paren {b \mathrel \RR c} \implies a \mathrel \RR c \) |
These criteria are called the strict ordering axioms.
Also see
- Axiom:Strict Ordering Axioms/Formulation 1 for an alternative formulation of the strict ordering axioms
- Definition:Strict Ordering
- Equivalence of Definitions of Strict Ordering