【2015高考浙江，理6】设，是有限集，定义，其中表示有限集A中的元素个数，命题①：对任意有限集，，“”是“ ”的充分必要条件；
命题②：对任意有限集，，，，（  ）

A．命题①和命题②都成立

B．命题①和命题②都不成立

C．命题①成立，命题②不成立

D．命题①不成立，命题②成立