"partially ordered" Deutsche bedeutung