Database
BASIC ORDER THEORY
Posets and lattices using extensible structures
The dual of an ordered set
codu
Next ⟩
df-odu
Metamath Proof Explorer
Unicode
Structured
Syntax definition
codu
Description:
Class function defining dual orders.
Ref
Expression
Assertion
codu
class ODual