final topology

Let be a set and a family (or even a class) of topological spaces with set-theoretic maps Then the final topology on is defined by following universal property: Given a topological space and a set theoretic map , is continuous if and only if is continuous for all

is a dual statement for Initialtopologie, see: basis of a final topology