Description: A subspace is a subset of its Hilbert lattice join with another. (Contributed by NM, 22-Jun-2004) (New usage is discouraged.)