proper subsetnproper delmängd, äkta delmängd(set theory) a set that is a subset of the set, but not equal to it.