Kartesisches Produkt, sind die Beweise (Distributivgesetze) akzeptabel?

Question

Ich probiere mich gerade darin, alle (laut Wikipedia) Distributivgesetze vom kartesischen Produkt zu beweisen, hier die ersten 3:

Wäre toll, wenn ihr ein wenig Kritik äußern könntet und mich auf meine Fehler hinweist :)