Об определимости графов решетками конгруэнций

Пусть $S$ — квазимногообразие неориентированных графов без петель. Для графов из $S$ вводится понятие делителя, эквивалентное понятию $S$-конгруэнции, т, е. конгруэнции, фактор-граф по которой лежит в $S$. Доказывается, что всякий граф из $S$ определяется своим порядком и решеткой $S$-конгруэнций.