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.