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