順列
位数 n の有限集合 E と自然数 k に対し、E の元からなる k-順列(E に関する k-順列、E の n-個の元から k-個を選ぶ順列)とは、k-組 (a1, a2, ..., ak) で i ≠ j (i, j ∈ {1, 2, ..., k}) ⇒ ai ≠ aj を満たすものを言う。
位数 n の有限集合 E と自然数 k に対し、E の元からなる k-順列とは {1, 2, ..., k} から E への単射を言う。