well-founded ordering

Мат. фундированное упорядочение