Category:Definitions/Strong Operator Topology