more from this thinker | more from this text
Full Idea
A 'bijective' function has 'one-to-one correspondence' - it is both surjective and injective, so that every element in each of the original and the output sets has a matching element in the other.
Gist of Idea
A 'bijective' function has one-to-one correspondence in both directions
Source
Peter Smith (Intro to Gödel's Theorems [2007], 02.1)
Book Ref
Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.8
A Reaction
Note that 'injective' is also one-to-one, but only in the one direction.
Related Idea
Idea 13537 An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS]
| 14207 | If cats equal cherries, model theory allows reinterpretation of the whole language preserving truth [Putnam] |
| 14212 | A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [Lewis] |
| 10078 | An 'injective' ('one-to-one') function creates a distinct output element from each original [Smith,P] |
| 10077 | A 'surjective' ('onto') function creates every element of the output set [Smith,P] |
| 10079 | A 'bijective' function has one-to-one correspondence in both directions [Smith,P] |
| 13636 | An axiomatization is 'categorical' if its models are isomorphic, so there is really only one interpretation [Shapiro] |
| 13670 | Categoricity can't be reached in a first-order language [Shapiro] |
| 10214 | Theory ontology is never complete, but is only determined 'up to isomorphism' [Shapiro] |
| 10238 | The set-theoretical hierarchy contains as many isomorphism types as possible [Shapiro] |
| 10105 | Differences between isomorphic structures seem unimportant [George/Velleman] |
| 13537 | An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |