Trivial Ordering Compatibility in Boolean Ring

From ProofWiki
Jump to navigation Jump to search


Let $\struct {S, +, \circ}$ be a Boolean ring.

Then the trivial ordering is the only ordering on $S$ compatible with both its operations.


That the trivial ordering is compatible with $\circ$ and $*$ follows from Trivial Ordering is Universally Compatible.

Conversely, suppose that $\preceq$ is a ordering compatible with $\circ$ and $*$.