"finite partition" Deutsche bedeutung