Every partial order ≤ gives rise to a so-called strict order <, by defining a < b if a ≤ b and not b ≤ a.
Κάθε μερική διάταξη ≤ αναδεικνύει τη λεγόμενη αυστηρή διάταξη <, ορίζοντας a < b αν a ≤ b και όχι b ≤ a.