Definition:Rooted Tree/Sibling

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T$ be a rooted tree with root $r_T$.

Two children of the same node of $T$ are called siblings.

That is, siblings are nodes which both have the same parent.