Sejam E, F. G e H subconjuntos não vazios de !$ R !$.

Considere as afirmações:

I.Se (E x G) !$ ⊂ !$ (F x H), então E !$ ⊂ !$ F e G !$ ⊂ !$ H.

II. Se (E x G) !$ ⊂ !$ (F x H), então (E x G) !$ ∪ !$ (F x H) = F x H.

III. Se (E x G) !$ ∪ !$ (F x H) = F x H, então (E x G) !$ ⊂ !$ (F x H).

Então: