All Questions

Let $P$ be a finite poset which is a lattice with $0,1 \in P$. An atom in $P$ is an upper cover of $0$ and a coatom is a lower cover of $1$. $P$ is atomic if every element is a join of atoms and ...

I've run into the following poset and I would expect it has a standard name. Let $n\geq k\geq 0$. Then $P_{n,k}$ consists of all $k$-element subsets of $\{1,\ldots,n\}$ ordered by $X\leq Y$ if $X=\{...