the_set_of_l2ComplexSequences is linearly-closed