Database
BASIC ORDER THEORY
Posets and lattices using extensible structures
Posets
cjn
Next ⟩
cmee
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cjn
Description:
Extend class notation with poset join.
Ref
Expression
Assertion
cjn
class
join