Metamath Proof Explorer


Syntax definition crels

Description: Extend the definition of a class to include the relation class.

Ref Expression
Assertion crels class Rels