Origem: Wikilivros, livros abertos por um mundo aberto.
Enuncie e demonstre um resultado análogo ao anterior, caracterizando
Dada uma família de conjuntos
, seja X um conjunto com as seguintes propriedades:
tem -se
;
- se
então
.
Prove que, nessas condições, tem-se


Seja
uma função tal que
. Prove que
. [Aqui X,Y e cada
são subconjunto de A].
- Tome
como 
- Tome

- Tome

- Tome

Dadas as famílias
forme duas famílias com índices em
considerando os conjuntos
Prove que se tem:

