 The vertices of the order polytope consist of monotonic functions from formula_4 to formula_39.That is, the order polytope is an integral polytope; it has no vertices with fractional coordinates.These functions are exactly the indicator functions of upper sets of the partial order.