Syntax definition cpsmet

Description: Extend class notation with the class of all pseudometric spaces.

	Ref	Expression
Assertion	cpsmet	class PsMet