Zákaz komb. stromu v Priestleyovském duálu určuje axiomatisovatelnou třídu distributivních svazů, n-koruny pro n aspoň 3 ne.
