设，是有限集，定义：，其中，表示有限集中元素的个数。
命题①：对任意有限集，，“”是“”的充分必要条件；
命题②：对任意有限集，，，。
本题主要考查集合的概念。
有题意可得，，即表示集合、中不属于集合的元素个数。
①充分性：对任意有限集，，若，则至少存在一个元素，不妨设为，满足且，即集合、中至少有一个元素不属于集合，因此，成立；
必要性：若，则集合、中至少有一个元素不属于集合，因此，
故命题①成立。
②设，，，，，，，则，因此，即有，故命题②成立。
综上，命题①②都成立。
故本题正确答案为A。
