Syntax definition cpco

Description: Extend class notation with the concatenation operation for paths in a topological space.

	Ref	Expression
Assertion	cpco	$$class{*}_{𝑝}$$