Syntax Definition csi 4721

Description: Extend the definition of a class to include the singleton image.

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
csi	class SI A

See definition df-si 4729 for more information.