Database
BASIC ORDER THEORY
Posets, directed sets, and lattices as relations
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