Necesito probar lo siguiente:
Demuestra que $A\cup !\, \varnothing !\,=A$ y $A\cap !\, \varnothing !\,=\varnothing !\,$
Tengo entendido que para probar la igualdad, debo probar que ambos son subconjuntos el uno del otro. Así que para probar $A\cup !\, \varnothing !\,=A$, tenemos que demostrar que $A\cup !\, \varnothing !\,\subseteq !\,A$ y $A\subseteq !\,A\cup !\, \varnothing !\,$.
Sin embargo, encontré una prueba de ejemplo para $A \cup !\, A$ en mi libro y lo adapté y obtuve esto:
$A\cup !\, \varnothing !\,=$ {$x:x\in !\, A \ \text{or} \ x\in !\, \varnothing !\,$} = {$x:x\in !\, A$} = A
$A\cap !\, \varnothing !\,=$ {$x:x\in !\, A \ \text{and} \ x\in !\, \varnothing !\,$} = {$x:x\in !\, \varnothing !\,$} = $\varnothing !\,$
¿Mis pruebas se ven bien?