Tacit extension

From Wikinfo

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

External links

• Adapted from the Wikipedia article, "Tacit_extension" http://en.wikipedia.org/wiki/Tacit_extension, used under the GNU Free Documentation License.