Označme Conc(A) polosvaz všech kompaktních kongruencí algebry A. Pro varietu V ať Conc(V) značí třídu všech polosvazů izomorfních nějakému Conc(A), kde A leží ve V.
Pro variety V a W nazvěme kritickým bodem V pod W nejmenší mohutnost polosvazu, který patří do Conc(V)-Conc(W). Označme ho crit (V,W).
Ať K a F jsou konečná tělesa taková, že card K > card F. Ať A, resp.
B, je vektorový prostor dimenze 3 nad K, resp. F.
Označme V, resp. W, varietu svazu, který je generován svazem podprostorů A, resp.
B. Potom je hodnota crit(V,W) rovna alef 2.