Si todo subconjunto de formula_1 admite un minimal respecto de formula_155, se dice que formula_155 es una "relación de orden bien fundada" sobre formula_1, o que es un orden bien fundado sobre formula_1.