tacit extension

A tacit extension is an injection of a set into a Cartesian product that has that set as one of its factors. There are many such injections, all of which serve as inversePlanetmathPlanetmathPlanetmathPlanetmath operationsMathworldPlanetmath to the projection of the Cartesian product onto the set in question, but the tacit extension is the one that places no additional constraints on the injection mapping.

Title tacit extension
Canonical name TacitExtension
Date of creation 2013-03-22 17:49:45
Last modified on 2013-03-22 17:49:45
Owner Jon Awbrey (15246)
Last modified by Jon Awbrey (15246)
Numerical id 5
Author Jon Awbrey (15246)
Entry type Definition
Classification msc 68R01
Classification msc 68P15
Classification msc 08A02
Classification msc 05C65
Classification msc 05B30
Classification msc 05B20
Classification msc 03E20
Classification msc 03B10
Synonym inverse projection
Related topic Projection
Related topic RelationComposition2
Related topic RelationReduction
Related topic RelationConstruction