Controlled Vocabulary...
Normal operator
Closed operator
Fuglede-Putnam theore...
Hilbert space
Commutativity