Основные тождества алгебры множеств