Ich würde das erst einmal in vernünftiges Deutsch übersetzen:
(a) "Für alle x gilt: Wenn x in A ist, dann ist x auch in B". Das ist aber die Definition einer Teilmenge, so dass dann gilt: \( A \subset B \).
(b) "Es gilt nicht: Es gibt ein x, das gleichzeitig in A und in B ist". Ein x, welches gleichzeitig in A und B ist, ist in der Schnittmenge. Aber das soll ja nicht gelten, also gibt es kein solches x, also ist die Schnittmenge leer, und damit: \( A \cap B = \emptyset \).