Two subspaces are orthogonal if and only if every vector in the first subspace is orthogonal to every vector in the second, which is a standard definition in linear algebra and requires no citation.
The claim states the fundamental definition of orthogonality between two subspaces in linear algebra. It is a direct definition and common mathematical knowledge, so no citation or empirical paper is required to verify it.