Chain-meet-closed sets on complete lattices
Let $latex \mathfrak{A}$ is a complete lattice. I will call a filter base a nonempty subset $latex T$ of $latex \mathfrak{A}$ such that $latex \forall a,b\in T\exists c\in T: (c\le a\wedge c\le b)$. I will call a chain (on $latex \mathfrak{A}$) a linearly ordered subset of $latex \mathfrak{A}$. Now as a part my research of […]