Documentation

lattices on partially orderd sets.

Properties Let a be an instance of Lattice, then holds:

1. For all x and y in a holds:

   1. x <<= (x || y) and y <<= (x || y).
   2. For all z with x <<= z and y <<= z holds: (x || y) <<= z.

2. For all x and y in a holds:

   1. x && y <<= x and x && y <<= y
   2. For all z with z <<= x and z <<= y holds: z <<= (x && y) .