Metamath Proof Explorer


Syntax definition clb

Description: Declare the syntax for the lower bound relationship functor.

Ref Expression
Assertion clb class LB 𝑅