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 Distance Bounded by N, and if rs = d, then D is the polygonal region in R^2 bounded by the following five constraints:

• x + y >= d
• x + d >= y
• y + d >= x
• x <= N
• y <= N