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