Koruna se dvěma minimy a maximy se může objevit v koproduktu Priestleyovských prostorů, aniž by se objevila kdekoli v summandech. Odpovídající třída omezených distributivních svazů tedy není popsatelná teorií prvního řádu. (cs)
The $2$-crown can appear in a coproduct of Priestley spaces without appearing in any of the summand. Consequenly, the corresponding class of bounded distributive lattices is not first order definable.
The $2$-crown can appear in a coproduct of Priestley spaces without appearing in any of the summand. Consequenly, the corresponding class of bounded distributive lattices is not first order definable. (en)