Sejam $X$, $Y$ e $Z$ subconjuntos próprios de $R$, não-vazios. Com respeito às afirmações:

• I. $x\cap \{[Y\cap (X\cup Y{)}^c]\cup [X\cup Y^c{)}^c\}$

• II. Se $Z\subset X$ então $(Z\cup Y)\cup (X\cup (Z^c\cap Y)\}=X\cup Y$

• III. Se $(X\cup Y{)}^c\subset Z$ então $Z^c\subset X$

temos que: