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.