Минимальный копорядок псевдобулевых и топобулевых алгебр, не имеющих конечного базиса квазитождеств

Копорядком псевдобулевой (топобулевой) алгебры назовем мощность двойственного ей квазиупорядоченного множества. Показано, что минимальный копорядок псевдобулевых (топобулевых) алгебр, не имеющих конечного базиса квазитождеств, равен 7 — это дает ответ на вопрос Дзёбяка.