Sejam , , e subconjuntos não vazios de . Considere as afirmações:
I - Se , então e .
II - Se , então .
III - Se , então .
Então:
Sejam , , e subconjuntos não vazios de . Considere as afirmações:
I - Se , então e .
II - Se , então .
III - Se , então .
Então: