(A\subseteq C\cap B\subseteq C) \Rightarrow (A \cup B) \subseteq C