                        |
|                         \   |   /                         |
|                          \  |  /                          |
|                           \ | /                           |
|                            \|/                            |
|                      r (c)  o  ( )                        |
|                                                           |
o-----------------------------------------------------------o
Figure 8.  Quotient Lattice of Predicates for [c, r]