subshape,shape
tower,transfinite composition
arrow,transfinite composition
pair of points,transfinite composition
point,transfinite composition
empty diagram,transfinite composition