重複順列
k-組として見れば、E の元からなる k-重複順列全体の成す集合は E = E × E × ... × E に他ならない。故にその位数に関して |E| = |E| = n は明らか。 {1, 2, ..., k} から E への写像と見れば、1 の行き先が n 通り、2 の行き先が n 通り、......、k の行き先が n 通りであるから、相異なる写像は n × n × ... × n = n 通りである。