Definition:Finite Tree