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 inverse operations
![]()
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.