Sejam A , B , C e D subconjuntos quaisquer do conjunto universo , tais que
( A Ç B ) Ç ( C - D ) = f , mostrar que que ( A – D ) Ç ( C Ç D ) = f.