wss - New Foundations Explorer

	New Foundations Explorer		< Previous Next > Nearby theorems
Mirrors > Home > NFE Home > Th. List > wss		Unicode version

Syntax Definition wss 3258

Description: Extend wff notation to include the subclass relation. This is read "

is a subclass of

" or "

includes

." When

exists as a set, it is also read "

is a subset of

**Hypotheses**
Ref	Expression
cA
cB

**Assertion**
Ref	Expression
wss

See definition df-ss 3260 for more information.

Colors of variables: wff setvar class