a partially ordered set - German English Dictionary