Suppose that S is a partially ordered set.
Ας υποθέσουμε ότι το S είναι ένα μερικώς διατεταγμένο σύνολο.