Прикольный трюк. Определение M красивое, но я как-то упустил, а почему это тавтологическое _|_?

В топосах это известное дело, что в топологии двойного отрицания логика становится булевой.