Topological Modules/Banach spaces

TODO: Links