< Tacit Extension
(logic, wiki, imported, Proteus)



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.

(last updated by Proteus, 8:03pm EDT - Sat, Apr 07 2007)