In the definition of directed set, they emphasized that aside from it having a preorder, "every pair of elements has an upper bound."
My question is that isn't the latter property implied by the definition of preorder? If $a\ge b$, then of course they have an upper bound: $a$! Isn't it true that $a\ge a$ and $a\ge b$?