article

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


Mathematical logic | Set theory

 

This article is licensed under the GNU Free Documentation License. It uses material from the "Tacit extension".

Home Pageartsbusinesscomputersgameshealthhospitalshomekids & teensnewsphysiciansrecreationreferenceregionalscienceshoppingsocietysportsworld