[math-fun] what is a "geometric space"?