zu einer Aussage ω der Verbandstheorie diejenige Aussage, die aus ω durch Vertauschen der Zeichen ∨ und ∧ entsteht.

Die Symbole ∨ und ∧ stehen hierbei für die Operatoren Infimum und Supremum des entsprechenden Verbandes. Handelt es sich bei dem zugrundeliegenden Verband um einen beschränkten Verband, so wird auch das Nullelement mit dem Einselement vertauscht. Ist die Aussage eine Ungleichung, so wird zudem die linke Seite der Ungleichung mit der rechten Seite der Ungleichung vertauscht.