MD1-2S: Cadenas de una relacion de orden

Buenas noches Nicolás:

$(A,\mathcal{R})$ es una relación de orden parcial y

$a \in A$ , entonces el conjunto que consiste en el elemento

$\{a\}$ es siempre una cadena. Esto se obtiene directamente de la definición de cadena: un conjunto

$C \subseteq A$ es cadena si todo par de elementos de

$C$ son comparables.

En el caso de un conjunto de un solo elemento, te puedes tomar solamente

$a$ dos veces, y por la reflexividad de las relaciones de orden parcial se sigue que

$a$ se relaciona con

$a$ .

Cordiales saludos,
Pablo.

Foro de Teórico