Metamath Proof Explorer


Syntax definition cdisjss

Description: Extend the definition of a class to include the disjoint set class.

Ref Expression
Assertion cdisjss class Disjss