"artinian set" Deutsche bedeutung