Em qualquer floresta radicada, um vértice u é ancestral de um vértice z se algum caminho na floresta começa em u e termina em z. Um vértice z é um descendente de u se u for ancestral de z.
Um ancestral próprio de um vértice z é qualquer ancestral de z exceto o próprio z. Analogamente, um descendente próprio de um vértice u é qualquer descendente de u que seja diferente de u.
Um vértice u é primo de um vértice z se não for ancestral nem descendente de z na floresta.