We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff’s Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form “A poset L is a finite semidistributive lattice if and only if there exists a set

中文翻译：

---

有限半分布格的基本定理

我们证明了有限半分配格的基本定理 (FTFSDL)，它以 Birkhoff 的有限分配格的基本定理为模型。我们的 FTFSDL 的形式为“当且仅当存在一个集合时，一个偏序L是一个有限的半分布格