Implement lower-than-or-equal partial order.