Solution (source code)

= Solution

The condition $\max(|x-1/2|,|y|)\leq1/2$ gives the closed square
$$
\boxed{[0,1]\times[-1/2,1/2]}.
$$
Its four edges and corners are included, as shown in the left panel of the figure below.