Em matemática, uma relação binária R ⊆ X × X {\textstyle R\subseteq X\times X} é uma relação bem-fundada numa classe X, se e somente se, todo subconjunto não vazio de X, tiver um elemento R-minimal; ou seja, para todo subconjunto não vazio S de X, existe um elemento m de S tal que para todo elemento s de S, o par não está em R. Em outras palavras, todo subconjunto não vazio de X possui um elemento m tal que para todo s, s ∉ m. Wikipedia