Example of preorder: Any set of propositions, ordered by the implication relation.