Hilbert space
如果"X"是一个希尔伯特空间，则商空间"X"/"M"同构于"M"的正交补。