proposition

Proposition 8.5

Closedness of compatibility

Proposition 8.5 (Closedness of compatibility). For continuous maps between Hausdorff spaces, the set of compatible threads is closed in ∏nXn\prod_n X_n.