Мне интересно, каков консенсус по определению «предка» в контексте информатики.

Я спрашиваю только потому, что вВведение в алгоритмы, Второе издание, с. 259 есть описание алгоритмаTree-Successor(x) это кажется странным В поиске наследника узлаx,

[...] если правильное поддерево узлаx пусто иx имеет преемникаy, затемy самый низкий предокx чей левый ребенок также является предкомx.

В бинарном дереве поиска с корнем, имеющим ключ2 и дети1 а также3, преемник1 его родитель2, В этом случае,x левый ребенокxпреемник,y, Согласно определению книги, тогдаx должен быть его собственным предком, если я что-то упустил.

Я не нашел ничего вописки об этом.