Description: The zero subspace is included in every subspace. ( sh0le analog.) (Contributed by NM, 27-Mar-2014) (Revised by Mario Carneiro, 19-Jun-2014)