definition
Similar to Product topology, but with arbitrary products of open sets as its basis. It has much worse properties..
Box topology in R^\omega is not metrizable, using Sequence lemma