12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday July 08, 2024
Jump to navigationJump to searchcopy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author
In [[logic]] and [[mathematics]], a '''tacit extension''' is in formal respects the simplest or the logically least committal of the several possible [[set]] [[operator|operation]]s that are [[inverse relation|inverse]] to the [[set theory|set-theoretic]] operation of [[projection (set theory)|projection]].
==See also==
* [[Cartesian product]]
* [[Inverse relation]]
* [[Projection (set theory)]]
* [[Relation (mathematics)]]
* [[Relation composition]]
* [[Relation construction]]
* [[Relation reduction]]
[[Category:Category Theory]]
[[Category:Logic]]
[[Category:Mathematics]]
==See also==
* [[Cartesian product]]
* [[Inverse relation]]
* [[Projection (set theory)]]
* [[Relation (mathematics)]]
* [[Relation composition]]
* [[Relation construction]]
* [[Relation reduction]]
[[Category:Category Theory]]
[[Category:Logic]]
[[Category:Mathematics]]
