This definition is purely algebraic .
This definition holds even without assuming the existence of the corresponding geometric space .
This definition is purely algebraic , and holds even without assuming the existence of the corresponding geometric space .