Metamath Proof Explorer


Syntax definition cssr

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

Ref Expression
Assertion cssr
class _S