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