Syntax definition cstrkgld

Description: Extends class notation with the relation for geometries fulfilling the lower dimension axioms.

	Ref	Expression
Assertion	cstrkgld	class DimTarskiG≥