Metamath Proof Explorer


Syntax definition ctrans

Description: Declare the transitive set class.

Ref Expression
Assertion ctrans class Trans