Definition:Infinite Tree