A symmetric-difference-closed orthomodular lattice that is stateless (Q6116353)

An orthomodular difference lattice is an algebra \(\mathbf L=(L,\vee,\wedge,{}',\Delta,0,1)\) of type \((2,2,1,2,0,0)\) where \((L,\vee,\wedge,{}',0,1)\) is an orthomodular lattice satisfying \((x\Delta y)\Delta z=x\Delta(y\Delta z)\), \(x\Delta1=1\Delta x=x\) and \(x\Delta y\le x\vee y\). A state on \(\mathbf L\) is a mapping \(s\) from \(L\) to \([0,1]\) satisfying \(s(1)=1\), \(s(x\vee y)=s(x)+s(y)\) whenever \(x\le y'\), and \(s(x\Delta y)\le s(x)+s(y)\). A finite orthomodular difference lattice containing no state respectively exactly one state is constructed.