An open cover $([0,1] \cap \Bbb{Q}) \times ([0,1] / \Bbb{Q})$ has no finite subcover?

I was thinking about the correct statement

An open cover $ ([0,1] \cap \Bbb{Q}) \times ([0,1] / \Bbb{Q}) = \{(x,y) \in [0,1] \times [0,1] : x \in \Bbb{Q} , y \notin \Bbb{Q}\} \subset (\Bbb{R}^2, d_{\infty})$ that doesnot have any finite subcover.

Here we see that $ \Bbb{Q} \cap [0,1]$ has no finite subcover but this is is a product of the rationals in $ [0,1]$ and the irrationals.