Description: The value of the supremum of a set of closed subspaces of Hilbert space. For an alternate version of the value, see chsupval2 . (Contributed by NM, 13-Aug-2002) (New usage is discouraged.)