\{\varphi_1,\dots,\varphi_n\}