https://123dok.net/document/zgwjw1m6-real-algebraic-structures-on-topological-spaces.html