Si el conjunto de todos los valores de un cierto tipo admiten un orden parcial bien fundamentado, entonces todo subconjunto no vacío debe tener un elemento mínimo (por la definición de orden parcial bien fundamentado).