1 problem

Let $P$ be a bounded poset, and let $(Q^+(P),\perp)$ denote the orthogonality space associated with $P$. A poset is Dacey when every maximal orthogonal subset of $Q^+(P)$ is a base…