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