Symmetric differences on posets with an antitone involution (Q766142)

Let \(P\) be a poset with minimal element \(0\) and maximal element \(1\). An \textit{antitone involution} on \(P\) is an order-reversing involution on \(P\). The most standard example of such an involution is the map \(S \mapsto [n]\setminus S\) on \(B_n\), the Boolean lattice of rank \(n\). This paper gives a natural generalization of the familiar definition of the symmetric difference operator on \(B_n\) to posets admitting antitone involutions. In addition, the authors provide necessary and sufficient conditions for a poset with an antitone involution to admit a symmetric difference operation.