En mathématiques, une relation bien fondée est une relation binaire vérifiant l'une des deux conditions suivantes, équivalentes d'après l'axiome du choix dépendant : pour toute partie non vide X de E, il existe un élément x de X n'ayant aucun R-antécédent dans X ; condition de chaîne descendante : il n'existe pas de suite infinie d'éléments de E telle qu'on ait xn+1Rxn pour tout n. Wikipedia