Referenced by:

• topology-box-topology
• topology-connectedness-preserved-by-finite-cart-prod
• topology-hausdorff