摘要
<正> If X is a topological space, then □~kX (the box products of κ copies of X) denotes the set product Π~κX with the topology induced by the family of all sets of the form U_α, where each U_α is an open set in X. For a recent survey on box products, see [1].