Tree successor algebra: A new branch in mathematics is a book about a formal theory of tree generation with an axiomatic basis for a new object called collection space. The …