Syntax Definition csb 2001

Description: Extend class notation to include the proper substitution of a class for a set into another class.

Hypotheses

Ref	Expression
vx	set x
cA	class A
cB	class B

Assertion

Ref	Expression
csb	class [_A / x]_B

See definition df-csb 2002 for more information.

Copyright terms: Public domain