\begin{definition}[Definition:Rooted Tree/Sibling]
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.
Category:Definitions/Rooted Trees
\end{definition}