GetWiki

In logic and mathematics, a tacit extension is in formal respects the simplest or the logically least committal of the several possible set operations that are inverse to the set-theoretic operation of projection.

See also

• Cartesian product
• Inverse relation
• Projection (set theory)
• Relation (mathematics)
• Relation composition
• Relation reduction

---

Some content adapted from the Wikinfo article "Tacit extension" under the GNU Free Documentation License.