antispace mathematical space function space space treetope n space tree hyperforest sumtree leafspace