有限集合S中元素的个数记作card(S),A⊆B的必要条件是card(A)≤card(B)为什么是真命题