Tacit extension
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