proper set