Definition:Subtree (Set Theory)