"directed set" Deutsche bedeutung