A type X 𝑋 X is a strict preorder if it can be equipped with a relation < : X → X → Ω <:X\to X\to\Omega that is Transitive and Antireflexive.