Metamath Proof Explorer


Syntax definition cub

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

Ref Expression
Assertion cub class UB 𝑅