$\mathbb{Z}$ é enumerável, logo $\mathbb{Z^2_+}$ é enumerável e, portanto, $(\mathbb{Z^2_+}, \tau)$ é separável.