subshape,shape
tower,transfinite composition