PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium 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)

View style:

See Also: projection, relation composition, relation reduction, relation construction

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 MSC03B10 (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
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)