"proper subset" Deutsche bedeutung