In matematica, una relazione binaria R si dice ben fondata su una classe X se ogni sottoinsieme non vuoto S ⊆ X ha un elemento minimo rispetto a ‘’R’’, cioè un elemento m non correlato da s R m, per ogni s ∈ S. In altre parole, una relazione è ben fondata se: [ S ≠ ∅ ⟹ ¬ ]. Wikipedia