"partially ordered set" Deutsche bedeutung