"proper set" Deutsche bedeutung