well-founded relation

Мат. отношение полной фундированности