[1] 有限集合とは、元が有限個の集合です。