有限集合 $S$ 中元素的个数记作 $\operatorname{card}(S)$. 设 $A$，$B$ 都为有限集合，给出下列命题：

① $A \cap B = \varnothing$ 的充要条件是 $\operatorname{card}(A \cup B) = \operatorname{card}(A) + \operatorname{card}(B)$； ② $A \subseteq B$ 的必要条件是 $\operatorname{card}(A) \leqslant \operatorname{card}(B)$； ③ $A \nsubseteq B$ 的充分条件是 $\operatorname{card}(A) \leqslant \operatorname{card}(B)$； ④ $A = B$ 的充要条件是 $\operatorname{card}(A) = \operatorname{card}(B)$.

其中真命题的序号是（ ）