 A subset of $\dom \st = \dom T$ is a core of the form $\st$ if and only if it is a core of the operator $T$. Moreover, the nonnegative selfadjoint relation $H_r$ corresponding to the real part $(\st_H)_