Description: Extends class notation with the class of geometries fulfilling the congruence and betweenness axioms.