设 $U$ 为全集，$A$，$B$ 是集合，则“存在集合 $C$ 使得 $A \subseteq C$，$B \subseteq \complement_U C$”是 $A \cap B = \varnothing$ 的（ ）