集合 a1,…,an ( n∈N≥1 )a_1,\ldots,a_n\, (\, n\in\mathbb{N_{\ge1}}\,)a1,…,an(n∈N≥1) に対して、
(a1,…,an)≔ (a_1,\ldots,a_n)\coloneqq\,(a1,…,an):={ K[1,a1],…,K[n,an] }\left\{\,\operatorname{K}\lbrack 1,a_{1}\rbrack,\ldots,\operatorname{K}\lbrack n,a_{n}\rbrack\,\right\}{K[1,a1],…,K[n,an]} を nnn 個の組 とよぶ。