Let R^2 be the plane with the L_infinity metric. That is, the distance between (x,y) and (x',y') is max{|x-x'|,|y-y'|}.

If P is the property Unrestricted, and if rs = d, then D is a semi-infinite strip, the unbounded region in R^2 bounded by the following three constraints:

• x + y >= d
• x + d >= y
• y + d >= x