Inverse-limit topology (source code)

= Inverse-limit topology

An inverse limit carries the coarsest topology making every coordinate <projection map> continuous. It is the subspace topology inherited from the product of the component spaces.