https://9lib.org/document/yev3je21-abstract-complex-vector-space-equipped-strongest-vector-topology.html