Database
BASIC ORDER THEORY
Partially ordered sets (posets)
cglb
Next ⟩
cjn
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cglb
Description:
Extend class notation with poset greatest lower bound.
Ref
Expression
Assertion
cglb
class
glb