-* a **preorder** is a structure `(S, ≤)` consisting of a reflexive, transitive, binary relation on a set `S`. It need not be connected (that is, there may be members `x`,`y` of `S` such that neither `x≤y` nor `y≤x`). It need not be anti-symmetric (that is, there may be members `s1`,`s2` of `S` such that `s1≤s2` and `s2≤s1` but `s1` and `s2` are not identical). Some examples:
+* a **preorder** is a structure <code>(S, ≤)</code> consisting of a reflexive, transitive, binary relation on a set `S`. It need not be connected (that is, there may be members `x`,`y` of `S` such that neither <code>x≤y</code> nor <code>y≤x</code>). It need not be anti-symmetric (that is, there may be members `s1`,`s2` of `S` such that <code>s1≤s2</code> and <code>s2≤s1</code> but `s1` and `s2` are not identical). Some examples: