Syntax Definition ccom 2414

Description: Extend the definition of a class to include the composition of two classes. (Read: The composition of A and B.)

Hypotheses

Ref	Expression
cA	class A
cB	class B

Assertion

Ref	Expression
ccom	class (A ∘ B)

See definition df-co 2427 for more information.

metamath.org