Об одном классе решеток квазимногообразий

Элемент $a$ полной решетки $A$ называется предельной точкой подмножества $B\subseteq A$, если $a=VC$ и $a\notin C$ для некоторой цепи $C\subseteq B$; подмножество $B$ называется $p$-замкнутым, если $B$ содержит все свои предельные точки. Пусть $S_p(A)$ — решетка всех полных $p$-замкнутых подполурешеток (с единицей) в $A$, $Q$ — класс всех решеток квазимногообразий.
Доказывается, что если $A$ — алгебраическая решетка, то $S_p(A)\in Q$. Отсюда выводится, что а) булева решетка принадлежит классу $Q$ тогда и только тогда, когда она изоморфна решетке всех подмножеств не более чем счетного множества; б) любая свободная решетка вложима в некоторую $Q$-решетку.