Ist die ∅ ∈ von M∪N , wenn das geordnete Paar z.B (∅,x) ist. Zweite Frage: ist Menge {a} ∈ M:{ {ab} , {a,b,c} } ? 
Die leere Menge ist zwar Teilmenge jeder anderen Menge,
aber nicht unbedingt ein Element.
Bei   ∅ ∈ von M∪N ist es so nicht zu entscheiden, oder weisst du, dass 
(∅,x)   ∈  M x N   gilt ?  Dann wäre ja    ∅ ∈   M  und damit auch  ∅ ∈ von M∪N.
2.  M enthält nur zwei Elemente, nämlich  {ab}  und {a,b,c}.
Also nicht {a}.