Dual of Dual Statement (Order Theory)

From ProofWiki
Jump to navigation Jump to search


Let $\Sigma$ be a statement about ordered sets.

Let $\Sigma^*$ be its dual statement.

Then $\Sigma$ is also the dual statement of $\Sigma^*$.


By definition, the dual statement $\Sigma^*$ is formed by replacing the ordering $\preceq$ with its dual $\succeq$.

By Dual of Dual Ordering, applying this operation twice results in the original sentence $\Sigma$ again.