Metamath Proof Explorer


Syntax definition crpss

Description: Extend class notation to include the reified proper subset relation.

Ref Expression
Assertion crpss class [⊂]