Database
BASIC ORDER THEORY
Posets and lattices using extensible structures
Posets
cplt
Next ⟩
club
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cplt
Description:
Extend class notation with less-than for posets.
Ref
Expression
Assertion
cplt
class
lt