加载中…
By a twenty year old result of Ralph Freese, an -element lattice has at most congruences. We prove that if has less than congruences, then it has at most congruences. Also, we describe the -element lattices with exactly congruences.

生成讲解博客的中文版本

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