Let ${\displaystyle X}$  be a topological space and let ${\displaystyle C=\left\{C_{\alpha }:\alpha \in A\right\}}$  be a family of subsets of ${\displaystyle X,}$  each with its induced subspace topology. (Typically ${\displaystyle C}$  will be a cover of ${\displaystyle X}$ .) Then ${\displaystyle X}$  is said to be coherent with ${\displaystyle C}$  (or determined by ${\displaystyle C}$ )^[2] if the topology of ${\displaystyle X}$  is recovered as the one coming from the final topology coinduced by the inclusion maps

• A subset ${\displaystyle U}$  is open in ${\displaystyle X}$  if and only if ${\displaystyle U\cap C_{\alpha }}$  is open in ${\displaystyle C_{\alpha }}$  for each ${\displaystyle \alpha \in A.}$ 
• A subset ${\displaystyle U}$  is closed in ${\displaystyle X}$  if and only if ${\displaystyle U\cap C_{\alpha }}$  is closed in ${\displaystyle C_{\alpha }}$  for each ${\displaystyle \alpha \in A.}$ 

Given a topological space ${\displaystyle X}$  and any family of subspaces ${\displaystyle C}$  there is a unique topology on (the underlying set of) ${\displaystyle X}$  that is coherent with ${\displaystyle C.}$  This topology will, in general, be finer than the given topology on ${\displaystyle X.}$ 

• A topological space ${\displaystyle X}$  is coherent with every open cover of ${\displaystyle X.}$  More generally, ${\displaystyle X}$  is coherent with any family of subsets whose interiors cover ${\displaystyle X.}$  As examples of this, a weakly locally compact space is coherent with the family of its compact subspaces. And a locally connected space is coherent with the family of its connected subsets.
• A topological space ${\displaystyle X}$  is coherent with every locally finite closed cover of ${\displaystyle X.}$ 
• A discrete space is coherent with every family of subspaces (including the empty family).
• A topological space ${\displaystyle X}$  is coherent with a partition of ${\displaystyle X}$  if and only ${\displaystyle X}$  is homeomorphic to the disjoint union of the elements of the partition.
• Finitely generated spaces are those determined by the family of all finite subspaces.
• Compactly generated spaces (in the sense of Definition 1 in that article) are those determined by the family of all compact subspaces.
• A CW complex ${\displaystyle X}$  is coherent with its family of ${\displaystyle n}$ -skeletons ${\displaystyle X_{n}.}$ 

Let ${\displaystyle \left\{X_{\alpha }:\alpha \in A\right\}}$  be a family of (not necessarily disjoint) topological spaces such that the induced topologies agree on each intersection ${\displaystyle X_{\alpha }\cap X_{\beta }.}$  Assume further that ${\displaystyle X_{\alpha }\cap X_{\beta }}$  is closed in ${\displaystyle X_{\alpha }}$  for each ${\displaystyle \alpha ,\beta \in A.}$  Then the topological union ${\displaystyle X}$  is the set-theoretic union

Conversely, if ${\displaystyle X}$  is a topological space and is coherent with a family of subspaces ${\displaystyle \left\{C_{\alpha }\right\}}$  that cover ${\displaystyle X,}$  then ${\displaystyle X}$  is homeomorphic to the topological union of the family ${\displaystyle \left\{C_{\alpha }\right\}.}$ 

One can form the topological union of an arbitrary family of topological spaces as above, but if the topologies do not agree on the intersections then the inclusions will not necessarily be embeddings.

One can also describe the topological union by means of the disjoint union. Specifically, if ${\displaystyle X}$  is a topological union of the family ${\displaystyle \left\{X_{\alpha }\right\},}$  then ${\displaystyle X}$  is homeomorphic to the quotient of the disjoint union of the family ${\displaystyle \left\{X_{\alpha }\right\}}$  by the equivalence relation

If the spaces ${\displaystyle \left\{X_{\alpha }\right\}}$  are all disjoint then the topological union is just the disjoint union.

Assume now that the set A is directed, in a way compatible with inclusion: ${\displaystyle \alpha \leq \beta }$  whenever ${\displaystyle X_{\alpha }\subset X_{\beta }}$ . Then there is a unique map from ${\displaystyle \varinjlim X_{\alpha }}$  to ${\displaystyle X,}$  which is in fact a homeomorphism. Here ${\displaystyle \varinjlim X_{\alpha }}$  is the direct (inductive) limit (colimit) of ${\displaystyle \left\{X_{\alpha }\right\}}$  in the category Top.

Let ${\displaystyle X}$  be coherent with a family of subspaces ${\displaystyle \left\{C_{\alpha }\right\}.}$  A function ${\displaystyle f:X\to Y}$  from ${\displaystyle X}$  to a topological space ${\displaystyle Y}$  is continuous if and only if the restrictions

Let ${\displaystyle X}$  be determined by a cover ${\displaystyle C=\{C_{\alpha }\}.}$  Then

• If ${\displaystyle C}$  is a refinement of a cover ${\displaystyle D,}$  then ${\displaystyle X}$  is determined by ${\displaystyle D.}$  In particular, if ${\displaystyle C}$  is a subcover of ${\displaystyle D,}$  ${\displaystyle X}$  is determined by ${\displaystyle D.}$ 
• If ${\displaystyle D=\{D_{\beta }\}}$  is a refinement of ${\displaystyle C}$  and each ${\displaystyle C_{\alpha }}$  is determined by the family of all ${\displaystyle D_{\beta }}$  contained in ${\displaystyle C_{\alpha }}$  then ${\displaystyle X}$  is determined by ${\displaystyle D.}$ 
• Let ${\displaystyle Y}$  be an open or closed subspace of ${\displaystyle X,}$  or more generally a locally closed subset of ${\displaystyle X.}$  Then ${\displaystyle Y}$  is determined by ${\displaystyle \left\{Y\cap C_{\alpha }\right\}.}$ 
• Let ${\displaystyle f:X\to Y}$  be a quotient map. Then ${\displaystyle Y}$  is determined by ${\displaystyle \left\{f(C_{\alpha })\right\}.}$ 

Let ${\displaystyle f:X\to Y}$  be a surjective map and suppose ${\displaystyle Y}$  is determined by ${\displaystyle \left\{D_{\alpha }:\alpha \in A\right\}.}$  For each ${\displaystyle \alpha \in A}$  let ${\textstyle f_{\alpha }:f^{-1}(D_{\alpha })\to D_{\alpha }\,}$ be the restriction of ${\displaystyle f}$  to ${\displaystyle f^{-1}(D_{\alpha }).}$  Then

• If ${\displaystyle f}$  is continuous and each ${\displaystyle f_{\alpha }}$  is a quotient map, then ${\displaystyle f}$  is a quotient map.
• ${\displaystyle f}$  is a closed map (resp. open map) if and only if each ${\displaystyle f_{\alpha }}$  is closed (resp. open).

Given a topological space ${\displaystyle (X,\tau )}$  and a family of subspaces ${\displaystyle C=\{C_{\alpha }\}}$  there is a unique topology ${\displaystyle \tau _{C}}$  on ${\displaystyle X}$  that is coherent with ${\displaystyle C.}$  The topology ${\displaystyle \tau _{C}}$  is finer than the original topology ${\displaystyle \tau ,}$  and strictly finer if ${\displaystyle \tau }$  was not coherent with ${\displaystyle C.}$  But the topologies ${\displaystyle \tau }$  and ${\displaystyle \tau _{C}}$  induce the same subspace topology on each of the ${\displaystyle C_{\alpha }}$  in the family ${\displaystyle C.}$  And the topology ${\displaystyle \tau _{C}}$  is always coherent with ${\displaystyle C.}$ 

As an example of this last construction, if ${\displaystyle C}$  is the collection of all compact subspaces of a topological space ${\displaystyle (X,\tau ),}$  the resulting topology ${\displaystyle \tau _{C}}$  defines the k-ification ${\displaystyle kX}$  of ${\displaystyle X.}$  The spaces ${\displaystyle X}$  and ${\displaystyle kX}$  have the same compact sets, with the same induced subspace topologies on them. And the k-ification ${\displaystyle kX}$  is compactly generated.

• Final topology – Finest topology making some functions continuous

• Tanaka, Yoshio (2004). "Quotient Spaces and Decompositions". In K.P. Hart; J. Nagata; J.E. Vaughan (eds.). Encyclopedia of General Topology. Amsterdam: Elsevier Science. pp. 43–46. ISBN 0-444-50355-2.
• Willard, Stephen (1970). General Topology. Reading, Massachusetts: Addison-Wesley. ISBN 0-486-43479-6. (Dover edition).