Syntax definition ciccp

Description: Extend class notation with the partitions of a closed interval of extended reals.

	Ref	Expression
Assertion	ciccp	$$class\mathrm{RePart}$$