Novedades

Comparamos la definición dada por Brimaldi de partición de un conjunto.

Empezamos relaciones de orden: ejemplos, orden restringido a un subconjunto, diagramas de Hasse, definición de elementos minimales, maximales, máximo, mínimo, relación de orden total, orden topológico y propiedades: 1) los minimos y máximos si existen son únicos.

2) los mínimos y máximos son minimales y maximales respectivamente.

3) Si el conjunto es finito existe siempre algún minimal y algún maximal.

Quedó por ver las definiciones de reticulado, por si alguien quiere ir adelantando en el práctico se las doy aquí:

c es cota superior  de $S \subset A$ si para todo $x \in S, x R c$

c es cota inferior  de $S \subset A$ si para todo $x \in S, c R x$

c es supremo de  $S \subset A$ si es mínimo del conjunto de cotas superiores de $S$

c es ínfimo de  $S \subset A$ si es máximo del conjunto de cotas superiores de $S$

$( A, R)$ es un retículo, si  todo subconjunto con dos elementos tiene supremo e ínfimo.

Saludos