Alguém tem alguma lista de exercícios resolvidos provando a existencia de conjuntos e/ou funções? (Exemplo na descrição)

Quest~ao 1
Sejam A, B e C conjuntos. Prove as seguintes proposic~oes:
(a) A  A [ B.
(b) A \ B  A.
(c) A cc B  A.
(d) A \ B  A [ B.
(e) B c (B c A) = A \ B.
(f) A \ (B c A) = ;.
(g) A [ (B c A) = A [ B.
(h) A [ (A \ B) = A.
(i) C c(A [ B) = (C c A) \ (C c B).
(j) C cc (A \ B) = (C cA) [ (C c B).
(k) (A [ B) c (A \ B) = (A c B) [ (B c A).
(l) A [ (B \ C) = (A [ B) \ (A [ C).
(m) A \ (B [ C) = (A \ B) [ (A \ C).
(n) A \ (B c C) = (A \ B) c (A \ C):