Syntax definition cmpd

Description: Extend class notation with projectivity from subspaces of vector space H to subspaces of functionals with closed kernels.

	Ref	Expression
Assertion	cmpd	$$class\mathrm{mapd}$$