Database
BASIC ORDER THEORY
Dual of an order structure
codu
Next ⟩
df-odu
Metamath Proof Explorer
Ascii
Structured
Syntax definition
codu
Description:
Class function defining dual orders.
Ref
Expression
Assertion
codu
class
ODual