A tree which all children of a node are ordered