Syntax Definition csb 3045

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

Hypotheses

Ref	Expression
vx	setvar 𝑥
cA	class 𝐴
cB	class 𝐵

Assertion

Ref	Expression
csb	class ⦋𝐴 / 𝑥⦌𝐵

See definition df-csb 3046 for more information.