Syntax Definition cimak 4180

Description: Extend the definition of a class to include the Kuratowski image of a class. (Read: The image of B under A.)

Hypotheses

Ref	Expression
cA	class A
cB	class B

Assertion

Ref	Expression
cimak	class (A “k B)

See definition df-imak 4190 for more information.