数学における多項式列（つまり、自然数の集合 {0, 1, 2, 3, …} で添字付けられた多項式の成す列であって、かつ各多項式の添字がその多項式の次数に等しいもの）{pn : n = 0, 1, 2, 3, …} が二項型（にこうがた、英: binomial type）であるとは、この列が恒等式 p n = ∑ k = 0 n p k p n − k {\displaystyle p_{n}=\sum _{k=0}^{n}{n \choose k}\,p_{k}\,p_{n-k}} を満足するときに言う。 Wikipedia