Metamath Proof Explorer


Syntax definition cglb

Description: Extend class notation with poset greatest lower bound.

Ref Expression
Assertion cglb class glb