A polyhedron, expressed in its canonical form as the intersection of half-spaces, is implicitly defined with respect to a particular ``component-wise'' partial order. This partial order on $\mbb{R}^n$ is a distributive ...