Metamath Proof Explorer

Syntax definition wss

Description: Syntax for the subclass predicate.

Ref Expression
Assertion wss 
wff A C_ B