∅yA son subconjuntos deA. A=Bsi y sólo si tenemos ambosA⊂B yB⊂A. Si un predicado tiene dos variables, el orden de las variables es importante. Los dia...∅yA son subconjuntos deA. A=Bsi y sólo si tenemos ambosA⊂B yB⊂A. Si un predicado tiene dos variables, el orden de las variables es importante. Los diagramas de Venn son una herramienta para ilustrar operaciones de conjunto. #P(A)=2#AA⊂B,A⊄B,A⊃B{a∈A∣P(a)}A∪BA∩BA∖BP(A)