Orthomodular and generalized orthomodular posets

Ivan Chajda, Miroslav Kolařík, Helmut Länger

We prove that the 18-element non-lattice orthomodular poset depicted in the paper is the smallest one and unique up to isomorphism. Since not every Boolean poset is orthomodular, w…