Trace class operators; Hilbert-Schmidt operators; Schwarz inequality; Grüss inequality