求集合元素个数个的公式是什么啊