A space is said to be [hyperconnected][1] if every two non-empty open sets have non-empty intersection. The axiom of choice implies that the box product of hyperconnected spaces is hyperconnected. [1]: https://en.wikipedia.org/wiki/Hyperconnected_space