projections satisfy a universal property described in the next section.

This same construction may be carried out if the 's are sets, semigroups, topological spaces, rings, modules (over a fixed ring), algebras (over a fixed ring),