"finite set" Deutsche bedeutung