ormula_2不是一个集合，而是一个多重集。其中元素1的重数是3，2的重数是2，3的重数是1。formula_2的元素个数是6。有时为了和一般的集合相区别，多重集合会用方括号而不是花括号标记，比如formula_2会被记为formula_5。和多元组或数组的概念不同，多重集中的元素是没有顺序分别的，也就是说formula_5和formula_7是同一个多重集。