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: