Proper set conversion