Metamath Proof Explorer


Syntax definition ctrrels

Description: Extend the definition of a class to include the transitive relations class.

Ref Expression
Assertion ctrrels
class TrRels