Abstract geometries with exchange axiom Closure systems and related geometry mathematics