Al concluir las actividades de la semana, podrás:

• Demostrar semiformalmente si una relación dada es:

  • una relación de equivalencia

  • una relación de orden parcial

  • una relación de orden total

• Definir relaciones de equivalencia, conjuntos parcialmente ordenados (COPO’s) y conjuntos totalmente ordenados (COTO’s).

• Representar COPO’s mediante diagramas de Hasse.

• Dado un COPO, identificar sus elementos extremos basándose en la definición de los mismos:

  • Mínimo

  • Máximo

  • Minimales

  • Maximales

  • Cotas superiores para un subconjunto dado

  • Cotas inferiores para un subconjunto dado

  • Ínfimo para un subconjunto dado

  • Supremo para un subconjunto dado

• Identificar elementos extremos en un COPO analizando su diagrama de Hasse.

• Determinar si un COPO es un retículo basándose en las definiciones formales de este concepto y las propiedades que involucra.