Hilbert space
즉, 힐베르트 공간 위에서 다음 포함 관계가 성립한다.