well-founded tree

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