"definable set" Deutsche bedeutung