\sigma = \lceil a_1,a_2,\dots,a_k \rfloor \circ \dots \circ \lceil b_1,b_2,\dots,b_l \rfloor