Теорема

1. \ ( Ç ) = ( \ ) È ( \ );

2. \ ( È ) = ( \ ) Ç ( \ );

3. ( È ) \ = ( \ ) È ( \ ) (дистрибутивность разности относительно объединения справа);

4. Ç ( \ ) = ( Ç ) \ ( Ç ) (дистрибутивность пересечения относительно разности справа). ■