propersubset