"partial order" Deutsche bedeutung