Hoy vimos las definiciones de cota superior, inferior, máximo y mínimo de un subconjunto, ínfimo, supremo y retículo, cadenas y anticadenas.
Además los Teorema de Dilworth, y Mirsky. El primero dice que el mayor cardinal de una anticadena es igual al menor cardinal de una partición en anticadenas. El segundo dice que la mayor cardinal de una cadena es igual al menor cardinal de una partición en cadenas.