In de wiskunde heet een irreflexieve tweeplaatsige relatie R {\displaystyle R} op een klasse X {\displaystyle X} welgefundeerd, als elke niet-lege deelverzameling S {\displaystyle S} van X {\displaystyle X} een element m {\displaystyle m} bevat dat geen voorganger heeft, wat in dit verband betekent dat er geen element s ∈ S, {\displaystyle s\in S,} is waarvoor het paar {\displaystyle } tot de relatie R {\displaystyle R} behoort. Wikipedia