Em matemática, uma relação binária R é 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 (s,m) não está em R.