Ejercicio · ZW-BUEN-ORDEN-004 · ★☆☆ Básico

Si \(A\) está bien ordenado y \(B\subseteq A\) es no vacío, ¿qué se cumple?

Elige una opción.

Ver respuesta
  • D. \(B\) tiene un elemento mínimo.

Explicación

Esa es la definición de buen orden: todo subconjunto no vacío de \(A\) tiene un primer elemento.

Estudiar Teoría de conjuntos en ZWMath →

Repasa el concepto: Buen orden

Un conjunto \(A\) está bien ordenado por \(<\) si \(<\) es un orden total en \(A\) y todo subconjunto no vacío de \(A\) tiene un elemento mínimo.

\[\forall S\subseteq A(S\ne\varnothing\Rightarrow\exists m\in S\forall s\in S\,m\le s)\]

Más ejercicios de buen orden

← ZW-BUEN-ORDEN-003 ZW-BUEN-ORDEN-005 →