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