Hilbert_Space_Tensor_Product.Strong_Operator_Topology