On to Hydro

Jonathan S. Shapiro shap@eros-os.org
Fri, 18 Aug 2000 10:03:51 -0400

Yes. In a partial order, there is no guarantee that two random elements are
comparable. The way to visualize this is to think of a lattice. Comparisons
can only be performed between elements that are (transitively) connected in
the lattice.

Thus, both < and <= have different meanings than in a total order.

> Put another way, does '<' have some different meaning in a world
> with only partial orders?
> Tyler