Proximity structures and generalizations Topological spaces with richer structures mathematics