Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:products_of_lattices [2008/05/08 13:06]
vkuncak created
sav08:products_of_lattices [2008/05/08 14:05] (current)
vkuncak
Line 6: Line 6:
   * The result is a partial order.   * The result is a partial order.
   * If we start with lattices, we obtain a lattice.   * If we start with lattices, we obtain a lattice.
-  * If lattices are completewe obtain a complete ​lattice.+ 
 +Note: if lattice is finite and has top and bottomthen, it is complete.
  
 
sav08/products_of_lattices.txt · Last modified: 2008/05/08 14:05 by vkuncak
 
© EPFL 2018 - Legal notice