设 $A$，$B$ 是有限集，定义： $d(A, B) = \operatorname{card}(A \cup B) - \operatorname{card}(A \cap B)$，其中 $\operatorname{card}(A)$ 表示有限集 $A$ 中元素的个数.

① 对任意有限集 $A$，$B$，“$A \neq B$”是“$d(A, B) > 0$”的充分必要条件； ② 对任意有限集 $A$，$B$，$C$，$d(A, C) \le d(A, B) + d(B, C)$.

（ ）