集合U、V都是空间E的子空间。若子空间U与子空间V正交，且子空间U与子空间V互为补空间（即U∩V=空集且U∪V=E），则子空间U与子空间V互为正交补空间（子空间U是子空间V的正交补空间；子空间V是子空间U的正交补空间）