PlanetMath: tacit extension

(more info)

Math for the people, by the people.

donor list - find out how

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (51)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Copyright
About

Entry average rating: No information on entry rating

tacit extension

(Definition)

A tacit extension is an injection of a set into a Cartesian product that has that set as one of its factors. There are many such injections, all of which serve as inverse operations to the projection of the Cartesian product onto the set in question, but the tacit extension is the one that places no additional constraints on the injection mapping.

"tacit extension" is owned by Jon Awbrey.

(view preamble | get metadata)

Other names:

inverse projection

Log in to rate this entry.
(view current ratings)

Cross-references: mapping, onto, projection, operations, inverse, factors, Cartesian product, injection
There are 3 references to this entry.

This is version 2 of tacit extension, born on 2008-02-20, modified 2009-02-23.
Object id is 10294, canonical name is TacitExtension.
Accessed 1057 times total.

Classification:

AMS MSC:	03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic)
	03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory )
	05B20 (Combinatorics :: Designs and configurations :: Matrices )
	05B30 (Combinatorics :: Designs and configurations :: Other designs, configurations)
	05C65 (Combinatorics :: Graph theory :: Hypergraphs)
	08A02 (General algebraic systems :: Algebraic structures :: Relational systems, laws of composition)
	68P15 (Computer science :: Theory of data :: Database theory)
	68R01 (Computer science :: Discrete mathematics in relation to computer science :: General)

Pending Errata and Addenda

None.

Discussion

forum policy

No messages.

Interact