proper subset subitemset subsetting closure membership subset submodularity subscheme subspace subhypergroup