A map on A extends uniquely to A together with one new point p, with a prescribed value at p; if the map is a bijection onto C and the new value lies outside C, the extension is a bijection onto C together with that value.
In the setting of Sets and Maps: Ordinary Notation, let and be sets, let be a map, let be a set with , and let ; and are singletons.
There is exactly one map such that for every and .
Let moreover be a subset of such that is a bijection, and let . Then the map of (i) is a bijection .
Loading…
No relations recorded yet.