加载中…
Two years ago, I characterized the order of principal congruences of a bounded lattice as a bounded order. If and are bounded lattices and is a \zo homomorphism of into~, then there is a natural isotone \zo-map from into . We prove the converse: For bounded orders and and an isotone \zo map of into , we represent and as and for bounded lattices and with a \zo homomorphism of into , so that is represented as .

生成讲解博客的中文版本

生成AI智能校验的中文版本