Database
BASIC ORDER THEORY
Posets and lattices using extensible structures
Posets and lattices as relations
cps
Next ⟩
ctsr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cps
Description:
Extend class notation with the class of all posets.
Ref
Expression
Assertion
cps
class
PosetRel