f invariant orderings
that we desire for our current realm of logical purposes.

So let's turn to another source of order.

The &quot;lattice of predicates&quot; (LOP) for the universe W% = [c, r]
has 2^4 = 16 elements, which puts it just beyond my ability to
draw in the current frame.  However, the quotient lattice that
we get by postulating the truth of the proposition (r (c)) has
just 16/2 = 8 elements, allowing me to draft it in full detail.

Figure 8 shows the lattice for the predicate set W^ = (W -&gt