Orthogonal Projection Geometry. Namely, orthogonal projections are operators which satisfy the