b l a t h e
o f
closed_set
c_star_algebra