Description: Value of the orthogonal
complement of a Hilbert lattice element. The
orthogonal complement of is the set of vectors that are orthogonal
to all vectors in . (Contributed by NM, 8-Aug-2004.)
(New usage is discouraged.)