Syntax Definition cima 4723

Description: Extend the definition of a class to include the image of one class under another.

Hypotheses

Ref	Expression
cA	class A
cB	class B

Assertion

Ref	Expression
cima	class (A"B)

See definition df-ima 4728 for more information.