38:
4063:
4626:
1452:
1743:
2048:
1933:
4986:
4236:
2277:
1792:
2132:
3917:
3807:
3097:
2736:
2352:
5388:
5653:
Unifying
Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5โ7, 2006, Revised Selected ... Computer Science and General Issues)
5216:
4715:
4421:
1980:
3986:
672:
3319:
3190:
2969:
2927:
2788:
5022:
4327:
4100:
2683:
4791:
2173:
1055:
997:
2652:
3994:
3744:
2828:
2603:
774:
88:
4461:
4168:
637:
3506:
2581:
1705:
1266:
5078:
4661:
2234:
3558:
1496:
1234:
813:
3359:
3234:
3034:
1084:
4515:
4488:
4263:
3949:
119:
66:
3677:
4289:
3451:
5474:
5431:
5302:
5259:
4877:
4738:
4350:
4127:
3854:
3601:
3402:
2851:
2465:
1523:
1147:
906:
859:
718:
150:
5451:
5408:
5350:
5330:
5279:
5236:
5178:
5158:
5138:
5118:
5043:
4897:
4854:
4834:
4814:
4520:
4370:
3831:
3704:
3621:
3578:
3526:
3471:
3379:
3339:
3274:
3254:
3214:
3140:
3118:
3012:
2992:
2539:
2515:
2442:
2418:
2398:
2378:
2193:
1854:
1834:
1658:
1638:
1618:
1598:
1578:
1550:
1306:
1286:
1190:
1167:
1124:
1104:
951:
929:
879:
836:
738:
695:
607:
1318:
1710:
1985:
3626:
This result allows one to take two continuous functions defined on closed (or open) subsets of a topological space and create a new one.
1880:
4902:
4173:
2241:
1748:
17:
2063:
5636:
5589:
3859:
3749:
355:
2741:
5508:
565:
3043:
2688:
310:
2282:
5611:
5581:
5549:
956:
5355:
5183:
4666:
4375:
1938:
183:
2544:
2876:
2866:
1798:
541:
340:
3956:
642:
3282:
3153:
2932:
2890:
3710:, and requires that the objects satisfy certain conditions. The most important condition is that there are
31:
295:
4998:
4297:
4070:
2657:
3680:
375:
4770:
4058:{\displaystyle \operatorname {res} _{W,V}\circ \operatorname {res} _{V,U}=\operatorname {res} _{W,U}.}
2146:
1002:
5518:
2608:
5484:
3720:
2795:
2586:
746:
71:
5570:
4426:
4132:
612:
558:
325:
250:
205:
5502: โ property which occurs on sufficiently small or arbitrarily small neighborhoods of points
3809:
satisfying the following properties, which are designed to mimic the restriction of a function:
3476:
1663:
1242:
5057:
4631:
2198:
1193:
587:
158:
5539:
3531:
3424:
that relates the continuity of a function with the continuity of its restrictions to subsets.
1460:
1198:
786:
5671:
5513:
3344:
3219:
3019:
1060:
521:
4493:
4466:
4241:
3989:
3922:
2854:
1808:
675:
506:
468:
280:
191:
97:
44:
4621:{\displaystyle s_{i}{\big \vert }_{U_{i}\cap U_{j}}=s_{j}{\big \vert }_{U_{i}\cap U_{j}},}
3653:
2853:) Alternatively, there is no need to restrict the domain if we allow the inverse to be a
8:
5490:
5081:
4268:
3430:
3143:
2470:
1861:
1309:
440:
430:
425:
5493: โ Continuous, position-preserving mapping from a topological space into a subspace
5456:
5413:
5284:
5241:
4859:
4720:
4332:
4109:
3836:
3583:
3384:
2833:
2447:
1505:
1129:
888:
841:
700:
132:
5436:
5393:
5335:
5315:
5264:
5221:
5163:
5143:
5123:
5103:
5028:
4882:
4839:
4819:
4799:
4355:
3816:
3689:
3606:
3563:
3511:
3456:
3364:
3324:
3259:
3239:
3199:
3125:
3103:
2997:
2977:
2872:
2524:
2500:
2494:
2427:
2403:
2383:
2363:
2178:
1874:
1839:
1819:
1643:
1623:
1603:
1583:
1563:
1535:
1291:
1271:
1175:
1152:
1109:
1089:
936:
914:
864:
821:
723:
680:
592:
551:
435:
410:
5632:
5607:
5585:
5577:
5545:
5052:
3707:
2357:
1237:
816:
511:
415:
405:
390:
385:
4103:
3037:
2488:
501:
478:
235:
91:
4794:
2884:
496:
473:
420:
5499:
2057:
516:
5665:
3415:
2421:
2238:
Restricting a function twice is the same as restricting it once, that is, if
1447:{\displaystyle G({f|}_{A})=\{(x,f(x))\in G(f):x\in A\}=G(f)\cap (A\times F),}
5487: โ Condition of an optimization problem which the solution must satisfy
3647:
3640:
3635:
3406:
Thus, the selection operator restricts to a subset of the entire database.
1499:
220:
3717:
between every pair of objects associated to nested open sets; that is, if
1738:{\displaystyle \operatorname {domain} f\subseteq \operatorname {domain} F}
5565:
3643:
provide a way of generalizing restrictions to objects besides functions.
579:
126:
122:
1857:
400:
395:
37:
2685:
However, the function becomes one-to-one if we restrict to the domain
5544:(2nd ed.). San Francisco: W. H. Freeman and Company. pp. .
2053:
445:
2043:{\displaystyle f:\mathbb {R} _{+}\to \mathbb {R} ,\ x\mapsto x^{2}.}
3713:
3684:
3453:
be two closed subsets (or two open subsets) of a topological space
3421:
526:
265:
195:
5584:(Springer-Verlag edition). Reprinted by Martino Fine Books, 2011.
531:
5080:
for binary relations. These cases do not fit into the scheme of
5048:
1928:{\displaystyle f:\mathbb {R} \to \mathbb {R} ,\ x\mapsto x^{2}}
882:
5025:
4981:{\displaystyle G(A\triangleleft R)=\{(x,y)\in F(R):x\in A\}.}
4231:{\displaystyle s{\big \vert }_{U_{i}}=t{\big \vert }_{U_{i}}}
3193:
2272:{\displaystyle A\subseteq B\subseteq \operatorname {dom} f,}
2060:
to the positive integers, with the argument shifted by one:
1787:{\displaystyle F{\big \vert }_{\operatorname {domain} f}=f.}
312:
4747:. If only the first two properties are satisfied, it is a
2880:
2127:{\displaystyle {\Gamma |}_{\mathbb {Z} ^{+}}\!(n)=(n-1)!}
2879:(sometimes called a restriction to avoid confusion with
5509:
Function (mathematics) ยง Restriction and extension
5495:
Pages displaying short descriptions of redirect targets
3912:{\displaystyle \operatorname {res} _{U,U}:F(U)\to F(U)}
3802:{\displaystyle \operatorname {res} _{V,U}:F(U)\to F(V)}
2830:
then the inverse is the negative of the square root of
2541:
by restricting the domain. For example, the function
125:, then it does have an inverse function, known as the
5459:
5439:
5416:
5396:
5358:
5338:
5318:
5287:
5267:
5244:
5224:
5186:
5166:
5146:
5126:
5106:
5060:
5031:
5001:
4905:
4885:
4862:
4842:
4822:
4802:
4773:
4723:
4669:
4634:
4523:
4496:
4469:
4429:
4378:
4358:
4335:
4300:
4271:
4244:
4176:
4135:
4112:
4073:
3997:
3959:
3925:
3862:
3839:
3819:
3752:
3723:
3692:
3656:
3609:
3586:
3566:
3534:
3514:
3479:
3459:
3433:
3387:
3367:
3347:
3327:
3285:
3262:
3242:
3222:
3202:
3156:
3128:
3106:
3046:
3022:
3000:
2980:
2935:
2893:
2836:
2798:
2744:
2691:
2660:
2611:
2589:
2547:
2527:
2503:
2450:
2430:
2406:
2386:
2366:
2285:
2244:
2201:
2181:
2149:
2066:
1988:
1941:
1883:
1842:
1822:
1751:
1713:
1666:
1646:
1626:
1606:
1586:
1566:
1538:
1508:
1463:
1321:
1294:
1274:
1245:
1201:
1178:
1155:
1132:
1112:
1092:
1063:
1005:
959:
939:
917:
891:
867:
844:
824:
789:
749:
726:
703:
683:
645:
615:
595:
135:
100:
74:
47:
5627:
Adams, Colin Conrad; Franzosa, Robert David (2008).
5504:
Pages displaying wikidata descriptions as a fallback
5606:(2nd ed.). Upper Saddle River: Prentice Hall.
241:
5468:
5445:
5425:
5402:
5382:
5344:
5324:
5296:
5273:
5253:
5230:
5210:
5172:
5152:
5132:
5112:
5072:
5037:
5016:
4980:
4891:
4871:
4848:
4828:
4808:
4785:
4732:
4709:
4655:
4620:
4509:
4482:
4455:
4415:
4364:
4344:
4321:
4283:
4257:
4230:
4162:
4121:
4094:
4057:
3980:
3943:
3911:
3848:
3825:
3801:
3738:
3698:
3671:
3615:
3595:
3572:
3552:
3520:
3500:
3465:
3445:
3396:
3373:
3353:
3333:
3313:
3268:
3248:
3228:
3208:
3184:
3134:
3112:
3092:{\displaystyle \{<,\leq ,=,\neq ,\geq ,>\},}
3091:
3028:
3006:
2986:
2963:
2921:
2845:
2822:
2782:
2731:{\displaystyle \mathbb {R} _{\geq 0}=[0,\infty ),}
2730:
2677:
2646:
2597:
2575:
2533:
2517:is not one-to-one, it may be possible to define a
2509:
2459:
2436:
2412:
2392:
2372:
2346:
2271:
2228:
2187:
2167:
2126:
2042:
1974:
1927:
1848:
1828:
1786:
1737:
1699:
1652:
1632:
1612:
1592:
1572:
1544:
1517:
1490:
1446:
1300:
1280:
1260:
1228:
1184:
1161:
1141:
1118:
1098:
1078:
1049:
991:
945:
923:
900:
873:
853:
830:
807:
768:
732:
712:
689:
666:
631:
601:
144:
113:
82:
60:
2093:
237:
5663:
2347:{\displaystyle \left(f|_{B}\right)|_{A}=f|_{A}.}
357:
4743:The collection of all such objects is called a
5576:Reprinted by Springer-Verlag, New York, 1974.
5383:{\displaystyle R\triangleright (F\setminus B)}
4754:
2493:For a function to have an inverse, it must be
5626:
5211:{\displaystyle (E\setminus A)\triangleleft R}
5051:understood as relations, such as ones of the
4676:
4584:
4537:
4210:
4183:
2137:
1758:
559:
4972:
4927:
4710:{\displaystyle s{\big \vert }_{U_{i}}=s_{i}}
4416:{\displaystyle x_{i}\in F\left(U_{i}\right)}
3083:
3047:
1975:{\displaystyle \mathbb {R} _{+}=[0,\infty )}
1405:
1351:
754:
620:
213:
4856:may be defined as a relation having domain
2195:gives back the original function, that is,
5629:Introduction to Topology: Pure and Applied
5024:Indeed, one could define a restriction to
566:
552:
222:
4463:of the covering sets the restrictions of
2694:
2668:
2591:
2081:
2011:
1997:
1944:
1899:
1891:
76:
3981:{\displaystyle W\subseteq V\subseteq U,}
667:{\displaystyle f{\upharpoonright _{A}},}
36:
5601:
5519:Relational algebra ยง Selection (ฯ)
342:
333:
14:
5664:
5564:
3560:is continuous when restricted to both
3314:{\displaystyle \sigma _{a\theta v}(R)}
3185:{\displaystyle \sigma _{a\theta b}(R)}
2964:{\displaystyle \sigma _{a\theta v}(R)}
2922:{\displaystyle \sigma _{a\theta b}(R)}
2860:
2792:(If we instead restrict to the domain
2783:{\displaystyle f^{-1}(y)={\sqrt {y}}.}
5537:
361:
346:
327:
316:
301:
282:
271:
252:
226:
207:
5531:
4759:More generally, the restriction (or
3409:
2482:
778:
297:
288:
5312:) of a function or binary relation
5100:) of a function or binary relation
5087:
4329:is an open covering of an open set
2056:function is the restriction of the
24:
5541:Sets, Logic and Axiomatic Theories
5514:Binary relation ยง Restriction
5017:{\displaystyle R\triangleright B.}
4322:{\displaystyle \left(U_{i}\right)}
4095:{\displaystyle \left(U_{i}\right)}
2805:
2719:
2678:{\displaystyle x\in \mathbb {R} .}
2069:
1966:
25:
5683:
5574:. Princeton, NJ: D. Van Nostrand.
5371:
5193:
4423:is given such that for each pair
3420:The pasting lemma is a result in
4786:{\displaystyle A\triangleleft R}
3528:also be a topological space. If
2168:{\displaystyle f:X\rightarrow Y}
1050:{\displaystyle {f|}_{A}(x)=f(x)}
267:
258:
2477:
1086:Informally, the restriction of
992:{\displaystyle {f|}_{A}:A\to F}
674:obtained by choosing a smaller
184:History of the function concept
5645:
5620:
5595:
5558:
5377:
5365:
5199:
5187:
4957:
4951:
4942:
4930:
4921:
4909:
4650:
4644:
4157:
4151:
3935:
3929:
3906:
3900:
3894:
3891:
3885:
3796:
3790:
3784:
3781:
3775:
3666:
3660:
3544:
3308:
3302:
3179:
3173:
2958:
2952:
2916:
2910:
2867:Selection (relational algebra)
2814:
2799:
2764:
2758:
2722:
2710:
2647:{\displaystyle x^{2}=(-x)^{2}}
2635:
2625:
2557:
2551:
2331:
2313:
2296:
2207:
2159:
2118:
2106:
2100:
2094:
2073:
2024:
2007:
1969:
1957:
1912:
1895:
1691:
1685:
1676:
1670:
1485:
1482:
1476:
1464:
1438:
1426:
1420:
1414:
1390:
1384:
1375:
1372:
1366:
1354:
1345:
1334:
1325:
1223:
1220:
1214:
1202:
1044:
1038:
1029:
1023:
1012:
983:
966:
799:
651:
27:Function with a smaller domain
13:
1:
5651:Dunne, S. and Stoddart, Bill
5524:
5390:; it removes all elements of
5218:; it removes all elements of
3739:{\displaystyle V\subseteq U,}
2823:{\displaystyle (-\infty ,0],}
1527:
4988:Similarly, one can define a
3919:is the identity morphism on
3321:selects all those tuples in
2598:{\displaystyle \mathbb {R} }
769:{\displaystyle f\vert _{A}.}
83:{\displaystyle \mathbb {R} }
32:Restriction (disambiguation)
7:
5478:
4755:Left- and right-restriction
4456:{\displaystyle U_{i},U_{j}}
4163:{\displaystyle s,t\in F(U)}
3953:If we have three open sets
1867:
632:{\displaystyle f\vert _{A}}
609:is a new function, denoted
10:
5688:
5602:Munkres, James R. (2000).
3633:
3629:
3501:{\displaystyle A=X\cup Y,}
3413:
2864:
2576:{\displaystyle f(x)=x^{2}}
2486:
2138:Properties of restrictions
1700:{\displaystyle f(x)=F(x).}
1308:can be represented by its
1261:{\displaystyle E\times F,}
697:for the original function
542:List of specific functions
29:
5631:. Pearson Prentice Hall.
5073:{\displaystyle E\times F}
5047:relations, as well as to
4656:{\displaystyle s\in F(U)}
3856:the restriction morphism
3746:then there is a morphism
2229:{\displaystyle f|_{X}=f.}
1640:is also in the domain of
5433:It is sometimes denoted
5261:It is sometimes denoted
4628:then there is a section
3650:, one assigns an object
3553:{\displaystyle f:A\to B}
3381:attribute and the value
2605:is not one-to-one since
2583:defined on the whole of
1491:{\displaystyle (x,f(x))}
1268:then the restriction of
1229:{\displaystyle (x,f(x))}
1126:is the same function as
808:{\displaystyle f:E\to F}
5094:domain anti-restriction
4517:agree on the overlaps:
3354:{\displaystyle \theta }
3229:{\displaystyle \theta }
3029:{\displaystyle \theta }
2883:'s use of SELECT) is a
2356:The restriction of the
2143:Restricting a function
1873:The restriction of the
1149:but is only defined on
1079:{\displaystyle x\in A.}
18:Extension of a function
5538:Stoll, Robert (1974).
5470:
5447:
5427:
5404:
5384:
5346:
5326:
5306:range anti-restriction
5298:
5275:
5255:
5232:
5212:
5174:
5154:
5134:
5114:
5074:
5039:
5018:
4982:
4893:
4873:
4850:
4830:
4810:
4787:
4734:
4711:
4657:
4622:
4511:
4484:
4457:
4417:
4366:
4346:
4323:
4285:
4265:of the covering, then
4259:
4232:
4164:
4123:
4096:
4059:
3982:
3945:
3913:
3850:
3827:
3803:
3740:
3700:
3673:
3617:
3597:
3574:
3554:
3522:
3502:
3467:
3447:
3398:
3375:
3355:
3335:
3315:
3270:
3250:
3230:
3210:
3186:
3136:
3114:
3093:
3030:
3008:
2988:
2965:
2923:
2847:
2824:
2784:
2732:
2679:
2648:
2599:
2577:
2535:
2511:
2461:
2438:
2414:
2394:
2374:
2348:
2273:
2230:
2189:
2169:
2128:
2044:
1976:
1929:
1850:
1830:
1816:, etc.) of a function
1788:
1739:
1701:
1654:
1634:
1614:
1594:
1574:
1546:
1519:
1492:
1448:
1302:
1282:
1262:
1230:
1186:
1163:
1143:
1120:
1100:
1080:
1051:
993:
947:
925:
902:
875:
855:
832:
809:
770:
734:
714:
691:
668:
633:
603:
152:
146:
115:
84:
62:
5471:
5448:
5428:
5405:
5385:
5347:
5327:
5299:
5276:
5256:
5233:
5213:
5175:
5155:
5135:
5115:
5075:
5040:
5019:
4983:
4894:
4874:
4851:
4831:
4811:
4788:
4735:
4712:
4658:
4623:
4512:
4510:{\displaystyle s_{j}}
4485:
4483:{\displaystyle s_{i}}
4458:
4418:
4367:
4347:
4324:
4286:
4260:
4258:{\displaystyle U_{i}}
4233:
4165:
4124:
4097:
4060:
3983:
3946:
3944:{\displaystyle F(U).}
3914:
3851:
3828:
3804:
3741:
3701:
3674:
3618:
3598:
3575:
3555:
3523:
3503:
3468:
3448:
3399:
3376:
3356:
3336:
3316:
3271:
3251:
3231:
3211:
3187:
3137:
3115:
3094:
3031:
3009:
2989:
2966:
2924:
2848:
2825:
2785:
2733:
2680:
2649:
2600:
2578:
2536:
2512:
2469:The restriction of a
2462:
2439:
2415:
2395:
2375:
2349:
2274:
2231:
2190:
2175:to its entire domain
2170:
2129:
2045:
1977:
1930:
1851:
1831:
1789:
1740:
1702:
1655:
1635:
1615:
1595:
1575:
1547:
1520:
1493:
1449:
1303:
1283:
1263:
1231:
1187:
1164:
1144:
1121:
1101:
1081:
1052:
994:
948:
926:
903:
876:
856:
833:
815:be a function from a
810:
771:
735:
715:
692:
669:
634:
604:
147:
116:
114:{\displaystyle x^{2}}
85:
63:
61:{\displaystyle x^{2}}
40:
5592:(Paperback edition).
5457:
5437:
5414:
5394:
5356:
5336:
5316:
5285:
5265:
5242:
5222:
5184:
5164:
5144:
5124:
5104:
5058:
5029:
4999:
4903:
4883:
4860:
4840:
4820:
4800:
4771:
4721:
4667:
4632:
4521:
4494:
4467:
4427:
4376:
4356:
4333:
4298:
4269:
4242:
4174:
4133:
4110:
4071:
3995:
3957:
3923:
3860:
3837:
3817:
3750:
3721:
3690:
3672:{\displaystyle F(U)}
3654:
3607:
3584:
3564:
3532:
3512:
3477:
3457:
3431:
3385:
3365:
3345:
3325:
3283:
3260:
3240:
3220:
3200:
3154:
3126:
3120:is a value constant,
3104:
3044:
3020:
3014:are attribute names,
2998:
2978:
2933:
2891:
2855:multivalued function
2834:
2796:
2742:
2689:
2658:
2609:
2587:
2545:
2525:
2501:
2448:
2428:
2404:
2384:
2364:
2283:
2242:
2199:
2179:
2147:
2064:
1986:
1939:
1881:
1840:
1820:
1811:continuous extension
1749:
1711:
1664:
1644:
1624:
1604:
1600:is in the domain of
1584:
1564:
1560:of another function
1536:
1506:
1461:
1319:
1292:
1272:
1243:
1199:
1176:
1153:
1130:
1110:
1090:
1061:
1003:
957:
937:
915:
889:
865:
842:
822:
787:
747:
724:
701:
681:
643:
613:
593:
133:
121:to the non-negative
98:
72:
45:
30:For other uses, see
5491:Deformation retract
4284:{\displaystyle s=t}
3813:For every open set
3446:{\displaystyle X,Y}
2861:Selection operators
2471:continuous function
1836:is an extension of
1192:is thought of as a
5469:{\displaystyle B.}
5466:
5443:
5426:{\displaystyle F.}
5423:
5410:from the codomain
5400:
5380:
5342:
5322:
5297:{\displaystyle R.}
5294:
5271:
5254:{\displaystyle E.}
5251:
5228:
5208:
5180:may be defined as
5170:
5150:
5130:
5110:
5098:domain subtraction
5070:
5035:
5014:
4978:
4889:
4872:{\displaystyle A,}
4869:
4846:
4826:
4806:
4783:
4761:domain restriction
4733:{\displaystyle i.}
4730:
4707:
4653:
4618:
4507:
4480:
4453:
4413:
4362:
4345:{\displaystyle U,}
4342:
4319:
4281:
4255:
4228:
4160:
4122:{\displaystyle U,}
4119:
4092:
4055:
3978:
3941:
3909:
3849:{\displaystyle X,}
3846:
3823:
3799:
3736:
3696:
3669:
3613:
3596:{\displaystyle Y,}
3593:
3570:
3550:
3518:
3498:
3463:
3443:
3397:{\displaystyle v.}
3394:
3371:
3361:holds between the
3351:
3331:
3311:
3266:
3246:
3236:holds between the
3226:
3206:
3192:selects all those
3182:
3132:
3110:
3089:
3026:
3004:
2984:
2961:
2919:
2873:relational algebra
2846:{\displaystyle y.}
2843:
2820:
2780:
2728:
2675:
2644:
2595:
2573:
2531:
2507:
2460:{\displaystyle X.}
2457:
2434:
2410:
2390:
2370:
2344:
2269:
2226:
2185:
2165:
2124:
2040:
1972:
1925:
1846:
1826:
1784:
1735:
1697:
1650:
1630:
1610:
1590:
1570:
1542:
1518:{\displaystyle G.}
1515:
1488:
1444:
1298:
1278:
1258:
1226:
1182:
1159:
1142:{\displaystyle f,}
1139:
1116:
1096:
1076:
1047:
989:
943:
921:
901:{\displaystyle E,}
898:
871:
854:{\displaystyle F.}
851:
828:
805:
766:
730:
713:{\displaystyle f.}
710:
687:
664:
629:
599:
376:Classes/properties
153:
145:{\displaystyle x.}
142:
111:
80:
58:
5655:. Springer (2006)
5638:978-0-13-184869-6
5590:978-1-61427-131-4
5446:{\displaystyle R}
5403:{\displaystyle B}
5345:{\displaystyle B}
5325:{\displaystyle R}
5310:range subtraction
5274:{\displaystyle A}
5231:{\displaystyle A}
5173:{\displaystyle A}
5153:{\displaystyle F}
5133:{\displaystyle E}
5113:{\displaystyle R}
5053:Cartesian product
5038:{\displaystyle n}
4994:range restriction
4990:right-restriction
4892:{\displaystyle F}
4849:{\displaystyle F}
4829:{\displaystyle E}
4809:{\displaystyle R}
4365:{\displaystyle i}
3826:{\displaystyle U}
3708:topological space
3699:{\displaystyle U}
3616:{\displaystyle f}
3573:{\displaystyle X}
3521:{\displaystyle B}
3466:{\displaystyle A}
3410:The pasting lemma
3374:{\displaystyle a}
3334:{\displaystyle R}
3269:{\displaystyle b}
3249:{\displaystyle a}
3209:{\displaystyle R}
3135:{\displaystyle R}
3113:{\displaystyle v}
3007:{\displaystyle b}
2987:{\displaystyle a}
2775:
2534:{\displaystyle f}
2510:{\displaystyle f}
2483:Inverse functions
2437:{\displaystyle A}
2413:{\displaystyle X}
2393:{\displaystyle A}
2373:{\displaystyle X}
2358:identity function
2188:{\displaystyle X}
2020:
1908:
1860:(respectively, a
1849:{\displaystyle f}
1829:{\displaystyle f}
1653:{\displaystyle F}
1633:{\displaystyle x}
1613:{\displaystyle f}
1593:{\displaystyle x}
1573:{\displaystyle f}
1552:is said to be an
1545:{\displaystyle F}
1301:{\displaystyle A}
1281:{\displaystyle f}
1238:Cartesian product
1185:{\displaystyle f}
1162:{\displaystyle A}
1119:{\displaystyle A}
1099:{\displaystyle f}
946:{\displaystyle A}
924:{\displaystyle f}
874:{\displaystyle A}
831:{\displaystyle E}
779:Formal definition
733:{\displaystyle f}
690:{\displaystyle A}
602:{\displaystyle f}
576:
575:
488:Generalizations
94:. If we restrict
90:does not have an
16:(Redirected from
5679:
5656:
5649:
5643:
5642:
5624:
5618:
5617:
5599:
5593:
5575:
5571:Naive Set Theory
5562:
5556:
5555:
5535:
5505:
5496:
5475:
5473:
5472:
5467:
5452:
5450:
5449:
5444:
5432:
5430:
5429:
5424:
5409:
5407:
5406:
5401:
5389:
5387:
5386:
5381:
5351:
5349:
5348:
5343:
5331:
5329:
5328:
5323:
5303:
5301:
5300:
5295:
5280:
5278:
5277:
5272:
5260:
5258:
5257:
5252:
5238:from the domain
5237:
5235:
5234:
5229:
5217:
5215:
5214:
5209:
5179:
5177:
5176:
5171:
5159:
5157:
5156:
5151:
5139:
5137:
5136:
5131:
5119:
5117:
5116:
5111:
5088:Anti-restriction
5079:
5077:
5076:
5071:
5044:
5042:
5041:
5036:
5023:
5021:
5020:
5015:
4987:
4985:
4984:
4979:
4898:
4896:
4895:
4890:
4878:
4876:
4875:
4870:
4855:
4853:
4852:
4847:
4835:
4833:
4832:
4827:
4815:
4813:
4812:
4807:
4792:
4790:
4789:
4784:
4765:left-restriction
4739:
4737:
4736:
4731:
4716:
4714:
4713:
4708:
4706:
4705:
4693:
4692:
4691:
4690:
4680:
4679:
4662:
4660:
4659:
4654:
4627:
4625:
4624:
4619:
4614:
4613:
4612:
4611:
4599:
4598:
4588:
4587:
4580:
4579:
4567:
4566:
4565:
4564:
4552:
4551:
4541:
4540:
4533:
4532:
4516:
4514:
4513:
4508:
4506:
4505:
4489:
4487:
4486:
4481:
4479:
4478:
4462:
4460:
4459:
4454:
4452:
4451:
4439:
4438:
4422:
4420:
4419:
4414:
4412:
4408:
4407:
4388:
4387:
4371:
4369:
4368:
4363:
4352:and if for each
4351:
4349:
4348:
4343:
4328:
4326:
4325:
4320:
4318:
4314:
4313:
4290:
4288:
4287:
4282:
4264:
4262:
4261:
4256:
4254:
4253:
4237:
4235:
4234:
4229:
4227:
4226:
4225:
4224:
4214:
4213:
4200:
4199:
4198:
4197:
4187:
4186:
4169:
4167:
4166:
4161:
4128:
4126:
4125:
4120:
4101:
4099:
4098:
4093:
4091:
4087:
4086:
4064:
4062:
4061:
4056:
4051:
4050:
4032:
4031:
4013:
4012:
3987:
3985:
3984:
3979:
3950:
3948:
3947:
3942:
3918:
3916:
3915:
3910:
3878:
3877:
3855:
3853:
3852:
3847:
3832:
3830:
3829:
3824:
3808:
3806:
3805:
3800:
3768:
3767:
3745:
3743:
3742:
3737:
3705:
3703:
3702:
3697:
3678:
3676:
3675:
3670:
3622:
3620:
3619:
3614:
3602:
3600:
3599:
3594:
3579:
3577:
3576:
3571:
3559:
3557:
3556:
3551:
3527:
3525:
3524:
3519:
3507:
3505:
3504:
3499:
3472:
3470:
3469:
3464:
3452:
3450:
3449:
3444:
3403:
3401:
3400:
3395:
3380:
3378:
3377:
3372:
3360:
3358:
3357:
3352:
3340:
3338:
3337:
3332:
3320:
3318:
3317:
3312:
3301:
3300:
3275:
3273:
3272:
3267:
3255:
3253:
3252:
3247:
3235:
3233:
3232:
3227:
3215:
3213:
3212:
3207:
3191:
3189:
3188:
3183:
3172:
3171:
3141:
3139:
3138:
3133:
3119:
3117:
3116:
3111:
3098:
3096:
3095:
3090:
3038:binary operation
3035:
3033:
3032:
3027:
3013:
3011:
3010:
3005:
2993:
2991:
2990:
2985:
2970:
2968:
2967:
2962:
2951:
2950:
2928:
2926:
2925:
2920:
2909:
2908:
2852:
2850:
2849:
2844:
2829:
2827:
2826:
2821:
2789:
2787:
2786:
2781:
2776:
2771:
2757:
2756:
2737:
2735:
2734:
2729:
2706:
2705:
2697:
2684:
2682:
2681:
2676:
2671:
2653:
2651:
2650:
2645:
2643:
2642:
2621:
2620:
2604:
2602:
2601:
2596:
2594:
2582:
2580:
2579:
2574:
2572:
2571:
2540:
2538:
2537:
2532:
2516:
2514:
2513:
2508:
2497:. If a function
2489:Inverse function
2466:
2464:
2463:
2458:
2443:
2441:
2440:
2435:
2419:
2417:
2416:
2411:
2399:
2397:
2396:
2391:
2379:
2377:
2376:
2371:
2353:
2351:
2350:
2345:
2340:
2339:
2334:
2322:
2321:
2316:
2310:
2306:
2305:
2304:
2299:
2278:
2276:
2275:
2270:
2235:
2233:
2232:
2227:
2216:
2215:
2210:
2194:
2192:
2191:
2186:
2174:
2172:
2171:
2166:
2133:
2131:
2130:
2125:
2092:
2091:
2090:
2089:
2084:
2077:
2076:
2049:
2047:
2046:
2041:
2036:
2035:
2018:
2014:
2006:
2005:
2000:
1982:is the injection
1981:
1979:
1978:
1973:
1953:
1952:
1947:
1934:
1932:
1931:
1926:
1924:
1923:
1906:
1902:
1894:
1855:
1853:
1852:
1847:
1835:
1833:
1832:
1827:
1813:
1812:
1803:
1802:
1801:linear extension
1793:
1791:
1790:
1785:
1774:
1773:
1762:
1761:
1744:
1742:
1741:
1736:
1706:
1704:
1703:
1698:
1659:
1657:
1656:
1651:
1639:
1637:
1636:
1631:
1619:
1617:
1616:
1611:
1599:
1597:
1596:
1591:
1579:
1577:
1576:
1571:
1558:
1557:
1551:
1549:
1548:
1543:
1524:
1522:
1521:
1516:
1497:
1495:
1494:
1489:
1457:where the pairs
1453:
1451:
1450:
1445:
1344:
1343:
1338:
1337:
1307:
1305:
1304:
1299:
1287:
1285:
1284:
1279:
1267:
1265:
1264:
1259:
1235:
1233:
1232:
1227:
1191:
1189:
1188:
1183:
1172:If the function
1168:
1166:
1165:
1160:
1148:
1146:
1145:
1140:
1125:
1123:
1122:
1117:
1105:
1103:
1102:
1097:
1085:
1083:
1082:
1077:
1056:
1054:
1053:
1048:
1022:
1021:
1016:
1015:
998:
996:
995:
990:
976:
975:
970:
969:
953:is the function
952:
950:
949:
944:
930:
928:
927:
922:
907:
905:
904:
899:
880:
878:
877:
872:
860:
858:
857:
852:
837:
835:
834:
829:
814:
812:
811:
806:
775:
773:
772:
767:
762:
761:
740:is then said to
739:
737:
736:
731:
719:
717:
716:
711:
696:
694:
693:
688:
673:
671:
670:
665:
660:
659:
658:
638:
636:
635:
630:
628:
627:
608:
606:
605:
600:
568:
561:
554:
366:
365:
359:
351:
350:
344:
336:
335:
331:
321:
320:
314:
306:
305:
299:
291:
290:
286:
276:
275:
269:
261:
260:
256:
246:
245:
239:
231:
230:
224:
216:
215:
211:
178:
155:
154:
151:
149:
148:
143:
120:
118:
117:
112:
110:
109:
92:inverse function
89:
87:
86:
81:
79:
67:
65:
64:
59:
57:
56:
21:
5687:
5686:
5682:
5681:
5680:
5678:
5677:
5676:
5662:
5661:
5660:
5659:
5650:
5646:
5639:
5625:
5621:
5614:
5600:
5596:
5563:
5559:
5552:
5536:
5532:
5527:
5503:
5494:
5481:
5458:
5455:
5454:
5438:
5435:
5434:
5415:
5412:
5411:
5395:
5392:
5391:
5357:
5354:
5353:
5337:
5334:
5333:
5317:
5314:
5313:
5304:Similarly, the
5286:
5283:
5282:
5266:
5263:
5262:
5243:
5240:
5239:
5223:
5220:
5219:
5185:
5182:
5181:
5165:
5162:
5161:
5145:
5142:
5141:
5125:
5122:
5121:
5105:
5102:
5101:
5090:
5059:
5056:
5055:
5030:
5027:
5026:
5000:
4997:
4996:
4904:
4901:
4900:
4884:
4881:
4880:
4861:
4858:
4857:
4841:
4838:
4837:
4821:
4818:
4817:
4801:
4798:
4797:
4795:binary relation
4772:
4769:
4768:
4757:
4722:
4719:
4718:
4701:
4697:
4686:
4682:
4681:
4675:
4674:
4673:
4668:
4665:
4664:
4633:
4630:
4629:
4607:
4603:
4594:
4590:
4589:
4583:
4582:
4581:
4575:
4571:
4560:
4556:
4547:
4543:
4542:
4536:
4535:
4534:
4528:
4524:
4522:
4519:
4518:
4501:
4497:
4495:
4492:
4491:
4474:
4470:
4468:
4465:
4464:
4447:
4443:
4434:
4430:
4428:
4425:
4424:
4403:
4399:
4395:
4383:
4379:
4377:
4374:
4373:
4357:
4354:
4353:
4334:
4331:
4330:
4309:
4305:
4301:
4299:
4296:
4295:
4270:
4267:
4266:
4249:
4245:
4243:
4240:
4239:
4220:
4216:
4215:
4209:
4208:
4207:
4193:
4189:
4188:
4182:
4181:
4180:
4175:
4172:
4171:
4134:
4131:
4130:
4111:
4108:
4107:
4106:of an open set
4082:
4078:
4074:
4072:
4069:
4068:
4040:
4036:
4021:
4017:
4002:
3998:
3996:
3993:
3992:
3958:
3955:
3954:
3924:
3921:
3920:
3867:
3863:
3861:
3858:
3857:
3838:
3835:
3834:
3818:
3815:
3814:
3757:
3753:
3751:
3748:
3747:
3722:
3719:
3718:
3691:
3688:
3687:
3655:
3652:
3651:
3638:
3632:
3623:is continuous.
3608:
3605:
3604:
3585:
3582:
3581:
3565:
3562:
3561:
3533:
3530:
3529:
3513:
3510:
3509:
3478:
3475:
3474:
3458:
3455:
3454:
3432:
3429:
3428:
3418:
3412:
3386:
3383:
3382:
3366:
3363:
3362:
3346:
3343:
3342:
3326:
3323:
3322:
3290:
3286:
3284:
3281:
3280:
3261:
3258:
3257:
3241:
3238:
3237:
3221:
3218:
3217:
3201:
3198:
3197:
3161:
3157:
3155:
3152:
3151:
3127:
3124:
3123:
3105:
3102:
3101:
3045:
3042:
3041:
3021:
3018:
3017:
2999:
2996:
2995:
2979:
2976:
2975:
2940:
2936:
2934:
2931:
2930:
2898:
2894:
2892:
2889:
2888:
2885:unary operation
2869:
2863:
2835:
2832:
2831:
2797:
2794:
2793:
2770:
2749:
2745:
2743:
2740:
2739:
2698:
2693:
2692:
2690:
2687:
2686:
2667:
2659:
2656:
2655:
2638:
2634:
2616:
2612:
2610:
2607:
2606:
2590:
2588:
2585:
2584:
2567:
2563:
2546:
2543:
2542:
2526:
2523:
2522:
2519:partial inverse
2502:
2499:
2498:
2491:
2485:
2480:
2449:
2446:
2445:
2429:
2426:
2425:
2405:
2402:
2401:
2385:
2382:
2381:
2365:
2362:
2361:
2335:
2330:
2329:
2317:
2312:
2311:
2300:
2295:
2294:
2290:
2286:
2284:
2281:
2280:
2243:
2240:
2239:
2211:
2206:
2205:
2200:
2197:
2196:
2180:
2177:
2176:
2148:
2145:
2144:
2140:
2085:
2080:
2079:
2078:
2072:
2068:
2067:
2065:
2062:
2061:
2031:
2027:
2010:
2001:
1996:
1995:
1987:
1984:
1983:
1948:
1943:
1942:
1940:
1937:
1936:
1919:
1915:
1898:
1890:
1882:
1879:
1878:
1870:
1856:that is also a
1841:
1838:
1837:
1821:
1818:
1817:
1810:
1809:
1806:(respectively,
1800:
1799:
1763:
1757:
1756:
1755:
1750:
1747:
1746:
1712:
1709:
1708:
1665:
1662:
1661:
1645:
1642:
1641:
1625:
1622:
1621:
1605:
1602:
1601:
1585:
1582:
1581:
1565:
1562:
1561:
1555:
1554:
1537:
1534:
1533:
1530:
1507:
1504:
1503:
1462:
1459:
1458:
1339:
1333:
1329:
1328:
1320:
1317:
1316:
1293:
1290:
1289:
1273:
1270:
1269:
1244:
1241:
1240:
1200:
1197:
1196:
1177:
1174:
1173:
1154:
1151:
1150:
1131:
1128:
1127:
1111:
1108:
1107:
1091:
1088:
1087:
1062:
1059:
1058:
1017:
1011:
1007:
1006:
1004:
1001:
1000:
971:
965:
961:
960:
958:
955:
954:
938:
935:
934:
916:
913:
912:
910:restriction of
890:
887:
886:
866:
863:
862:
843:
840:
839:
823:
820:
819:
788:
785:
784:
781:
757:
753:
748:
745:
744:
725:
722:
721:
702:
699:
698:
682:
679:
678:
654:
650:
649:
644:
641:
640:
623:
619:
614:
611:
610:
594:
591:
590:
572:
536:
497:Binary relation
483:
450:
370:
364:
356:
349:
341:
330:
326:
319:
311:
304:
296:
285:
281:
274:
266:
255:
251:
244:
236:
229:
221:
210:
206:
165:
134:
131:
130:
105:
101:
99:
96:
95:
75:
73:
70:
69:
52:
48:
46:
43:
42:
35:
28:
23:
22:
15:
12:
11:
5:
5685:
5675:
5674:
5658:
5657:
5644:
5637:
5619:
5612:
5594:
5557:
5550:
5529:
5528:
5526:
5523:
5522:
5521:
5516:
5511:
5506:
5500:Local property
5497:
5488:
5480:
5477:
5465:
5462:
5442:
5422:
5419:
5399:
5379:
5376:
5373:
5370:
5367:
5364:
5361:
5352:is defined as
5341:
5321:
5293:
5290:
5270:
5250:
5247:
5227:
5207:
5204:
5201:
5198:
5195:
5192:
5189:
5169:
5149:
5129:
5109:
5089:
5086:
5069:
5066:
5063:
5034:
5013:
5010:
5007:
5004:
4977:
4974:
4971:
4968:
4965:
4962:
4959:
4956:
4953:
4950:
4947:
4944:
4941:
4938:
4935:
4932:
4929:
4926:
4923:
4920:
4917:
4914:
4911:
4908:
4888:
4868:
4865:
4845:
4825:
4805:
4782:
4779:
4776:
4756:
4753:
4741:
4740:
4729:
4726:
4704:
4700:
4696:
4689:
4685:
4678:
4672:
4652:
4649:
4646:
4643:
4640:
4637:
4617:
4610:
4606:
4602:
4597:
4593:
4586:
4578:
4574:
4570:
4563:
4559:
4555:
4550:
4546:
4539:
4531:
4527:
4504:
4500:
4477:
4473:
4450:
4446:
4442:
4437:
4433:
4411:
4406:
4402:
4398:
4394:
4391:
4386:
4382:
4361:
4341:
4338:
4317:
4312:
4308:
4304:
4292:
4280:
4277:
4274:
4252:
4248:
4223:
4219:
4212:
4206:
4203:
4196:
4192:
4185:
4179:
4170:are such that
4159:
4156:
4153:
4150:
4147:
4144:
4141:
4138:
4118:
4115:
4090:
4085:
4081:
4077:
4067:(Locality) If
4065:
4054:
4049:
4046:
4043:
4039:
4035:
4030:
4027:
4024:
4020:
4016:
4011:
4008:
4005:
4001:
3977:
3974:
3971:
3968:
3965:
3962:
3951:
3940:
3937:
3934:
3931:
3928:
3908:
3905:
3902:
3899:
3896:
3893:
3890:
3887:
3884:
3881:
3876:
3873:
3870:
3866:
3845:
3842:
3822:
3798:
3795:
3792:
3789:
3786:
3783:
3780:
3777:
3774:
3771:
3766:
3763:
3760:
3756:
3735:
3732:
3729:
3726:
3695:
3668:
3665:
3662:
3659:
3634:Main article:
3631:
3628:
3612:
3592:
3589:
3569:
3549:
3546:
3543:
3540:
3537:
3517:
3497:
3494:
3491:
3488:
3485:
3482:
3462:
3442:
3439:
3436:
3414:Main article:
3411:
3408:
3393:
3390:
3370:
3350:
3330:
3310:
3307:
3304:
3299:
3296:
3293:
3289:
3279:The selection
3265:
3245:
3225:
3205:
3181:
3178:
3175:
3170:
3167:
3164:
3160:
3150:The selection
3148:
3147:
3131:
3121:
3109:
3099:
3088:
3085:
3082:
3079:
3076:
3073:
3070:
3067:
3064:
3061:
3058:
3055:
3052:
3049:
3025:
3015:
3003:
2983:
2960:
2957:
2954:
2949:
2946:
2943:
2939:
2918:
2915:
2912:
2907:
2904:
2901:
2897:
2865:Main article:
2862:
2859:
2842:
2839:
2819:
2816:
2813:
2810:
2807:
2804:
2801:
2779:
2774:
2769:
2766:
2763:
2760:
2755:
2752:
2748:
2738:in which case
2727:
2724:
2721:
2718:
2715:
2712:
2709:
2704:
2701:
2696:
2674:
2670:
2666:
2663:
2641:
2637:
2633:
2630:
2627:
2624:
2619:
2615:
2593:
2570:
2566:
2562:
2559:
2556:
2553:
2550:
2530:
2506:
2487:Main article:
2484:
2481:
2479:
2476:
2475:
2474:
2473:is continuous.
2467:
2456:
2453:
2433:
2409:
2389:
2369:
2354:
2343:
2338:
2333:
2328:
2325:
2320:
2315:
2309:
2303:
2298:
2293:
2289:
2268:
2265:
2262:
2259:
2256:
2253:
2250:
2247:
2236:
2225:
2222:
2219:
2214:
2209:
2204:
2184:
2164:
2161:
2158:
2155:
2152:
2139:
2136:
2135:
2134:
2123:
2120:
2117:
2114:
2111:
2108:
2105:
2102:
2099:
2096:
2088:
2083:
2075:
2071:
2058:gamma function
2050:
2039:
2034:
2030:
2026:
2023:
2017:
2013:
2009:
2004:
1999:
1994:
1991:
1971:
1968:
1965:
1962:
1959:
1956:
1951:
1946:
1935:to the domain
1922:
1918:
1914:
1911:
1905:
1901:
1897:
1893:
1889:
1886:
1869:
1866:
1862:continuous map
1845:
1825:
1783:
1780:
1777:
1772:
1769:
1766:
1760:
1754:
1734:
1731:
1728:
1725:
1722:
1719:
1716:
1696:
1693:
1690:
1687:
1684:
1681:
1678:
1675:
1672:
1669:
1649:
1629:
1609:
1589:
1569:
1541:
1529:
1526:
1514:
1511:
1487:
1484:
1481:
1478:
1475:
1472:
1469:
1466:
1455:
1454:
1443:
1440:
1437:
1434:
1431:
1428:
1425:
1422:
1419:
1416:
1413:
1410:
1407:
1404:
1401:
1398:
1395:
1392:
1389:
1386:
1383:
1380:
1377:
1374:
1371:
1368:
1365:
1362:
1359:
1356:
1353:
1350:
1347:
1342:
1336:
1332:
1327:
1324:
1297:
1277:
1257:
1254:
1251:
1248:
1225:
1222:
1219:
1216:
1213:
1210:
1207:
1204:
1181:
1158:
1138:
1135:
1115:
1095:
1075:
1072:
1069:
1066:
1046:
1043:
1040:
1037:
1034:
1031:
1028:
1025:
1020:
1014:
1010:
988:
985:
982:
979:
974:
968:
964:
942:
920:
897:
894:
870:
850:
847:
827:
804:
801:
798:
795:
792:
780:
777:
765:
760:
756:
752:
729:
709:
706:
686:
663:
657:
653:
648:
626:
622:
618:
598:
574:
573:
571:
570:
563:
556:
548:
545:
544:
538:
537:
535:
534:
529:
524:
519:
514:
509:
504:
499:
493:
490:
489:
485:
484:
482:
481:
476:
471:
466:
460:
457:
456:
452:
451:
449:
448:
443:
438:
433:
428:
423:
418:
413:
408:
403:
398:
393:
388:
382:
379:
378:
372:
371:
369:
368:
362:
353:
347:
338:
328:
323:
317:
308:
302:
293:
283:
278:
272:
263:
253:
248:
242:
233:
227:
218:
208:
202:
199:
198:
187:
186:
180:
179:
162:
161:
141:
138:
108:
104:
78:
55:
51:
26:
9:
6:
4:
3:
2:
5684:
5673:
5670:
5669:
5667:
5654:
5648:
5640:
5634:
5630:
5623:
5615:
5613:0-13-181629-2
5609:
5605:
5598:
5591:
5587:
5583:
5582:0-387-90092-6
5579:
5573:
5572:
5567:
5561:
5553:
5551:0-7167-0457-9
5547:
5543:
5542:
5534:
5530:
5520:
5517:
5515:
5512:
5510:
5507:
5501:
5498:
5492:
5489:
5486:
5483:
5482:
5476:
5463:
5460:
5453: โฉฅ
5440:
5420:
5417:
5397:
5374:
5368:
5362:
5359:
5339:
5319:
5311:
5307:
5291:
5288:
5281: โฉค
5268:
5248:
5245:
5225:
5205:
5202:
5196:
5190:
5167:
5147:
5140:and codomain
5127:
5120:(with domain
5107:
5099:
5095:
5085:
5083:
5067:
5064:
5061:
5054:
5050:
5046:
5032:
5011:
5008:
5005:
5002:
4995:
4991:
4975:
4969:
4966:
4963:
4960:
4954:
4948:
4945:
4939:
4936:
4933:
4924:
4918:
4915:
4912:
4906:
4886:
4866:
4863:
4843:
4823:
4803:
4796:
4780:
4777:
4774:
4766:
4762:
4752:
4750:
4746:
4727:
4724:
4702:
4698:
4694:
4687:
4683:
4670:
4647:
4641:
4638:
4635:
4615:
4608:
4604:
4600:
4595:
4591:
4576:
4572:
4568:
4561:
4557:
4553:
4548:
4544:
4529:
4525:
4502:
4498:
4475:
4471:
4448:
4444:
4440:
4435:
4431:
4409:
4404:
4400:
4396:
4392:
4389:
4384:
4380:
4359:
4339:
4336:
4315:
4310:
4306:
4302:
4293:
4278:
4275:
4272:
4250:
4246:
4238:for each set
4221:
4217:
4204:
4201:
4194:
4190:
4177:
4154:
4148:
4145:
4142:
4139:
4136:
4116:
4113:
4105:
4088:
4083:
4079:
4075:
4066:
4052:
4047:
4044:
4041:
4037:
4033:
4028:
4025:
4022:
4018:
4014:
4009:
4006:
4003:
3999:
3991:
3975:
3972:
3969:
3966:
3963:
3960:
3952:
3938:
3932:
3926:
3903:
3897:
3888:
3882:
3879:
3874:
3871:
3868:
3864:
3843:
3840:
3820:
3812:
3811:
3810:
3793:
3787:
3778:
3772:
3769:
3764:
3761:
3758:
3754:
3733:
3730:
3727:
3724:
3716:
3715:
3709:
3693:
3686:
3682:
3663:
3657:
3649:
3644:
3642:
3637:
3627:
3624:
3610:
3590:
3587:
3567:
3547:
3541:
3538:
3535:
3515:
3495:
3492:
3489:
3486:
3483:
3480:
3460:
3440:
3437:
3434:
3425:
3423:
3417:
3416:Pasting lemma
3407:
3404:
3391:
3388:
3368:
3348:
3328:
3305:
3297:
3294:
3291:
3287:
3277:
3263:
3243:
3223:
3203:
3195:
3176:
3168:
3165:
3162:
3158:
3145:
3129:
3122:
3107:
3100:
3086:
3080:
3077:
3074:
3071:
3068:
3065:
3062:
3059:
3056:
3053:
3050:
3039:
3023:
3016:
3001:
2981:
2974:
2973:
2972:
2955:
2947:
2944:
2941:
2937:
2913:
2905:
2902:
2899:
2895:
2886:
2882:
2878:
2874:
2868:
2858:
2856:
2840:
2837:
2817:
2811:
2808:
2802:
2790:
2777:
2772:
2767:
2761:
2753:
2750:
2746:
2725:
2716:
2713:
2707:
2702:
2699:
2672:
2664:
2661:
2639:
2631:
2628:
2622:
2617:
2613:
2568:
2564:
2560:
2554:
2548:
2528:
2520:
2504:
2496:
2490:
2472:
2468:
2454:
2451:
2431:
2423:
2422:inclusion map
2407:
2387:
2367:
2359:
2355:
2341:
2336:
2326:
2323:
2318:
2307:
2301:
2291:
2287:
2266:
2263:
2260:
2257:
2254:
2251:
2248:
2245:
2237:
2223:
2220:
2217:
2212:
2202:
2182:
2162:
2156:
2153:
2150:
2142:
2141:
2121:
2115:
2112:
2109:
2103:
2097:
2086:
2059:
2055:
2051:
2037:
2032:
2028:
2021:
2015:
2002:
1992:
1989:
1963:
1960:
1954:
1949:
1920:
1916:
1909:
1903:
1887:
1884:
1876:
1875:non-injective
1872:
1871:
1865:
1863:
1859:
1843:
1823:
1815:
1814:
1805:
1804:
1794:
1781:
1778:
1775:
1770:
1767:
1764:
1752:
1732:
1729:
1726:
1723:
1720:
1717:
1714:
1694:
1688:
1682:
1679:
1673:
1667:
1647:
1627:
1607:
1587:
1567:
1559:
1539:
1525:
1512:
1509:
1502:in the graph
1501:
1500:ordered pairs
1479:
1473:
1470:
1467:
1441:
1435:
1432:
1429:
1423:
1417:
1411:
1408:
1402:
1399:
1396:
1393:
1387:
1381:
1378:
1369:
1363:
1360:
1357:
1348:
1340:
1330:
1322:
1315:
1314:
1313:
1311:
1295:
1275:
1255:
1252:
1249:
1246:
1239:
1217:
1211:
1208:
1205:
1195:
1179:
1170:
1156:
1136:
1133:
1113:
1093:
1073:
1070:
1067:
1064:
1041:
1035:
1032:
1026:
1018:
1008:
986:
980:
977:
972:
962:
940:
933:
918:
911:
895:
892:
884:
868:
848:
845:
825:
818:
802:
796:
793:
790:
776:
763:
758:
750:
743:
727:
720:The function
707:
704:
684:
677:
661:
655:
646:
624:
616:
596:
589:
585:
581:
569:
564:
562:
557:
555:
550:
549:
547:
546:
543:
540:
539:
533:
530:
528:
525:
523:
520:
518:
515:
513:
510:
508:
505:
503:
500:
498:
495:
494:
492:
491:
487:
486:
480:
477:
475:
472:
470:
467:
465:
462:
461:
459:
458:
455:Constructions
454:
453:
447:
444:
442:
439:
437:
434:
432:
429:
427:
424:
422:
419:
417:
414:
412:
409:
407:
404:
402:
399:
397:
394:
392:
389:
387:
384:
383:
381:
380:
377:
374:
373:
367:
354:
352:
339:
337:
324:
322:
309:
307:
294:
292:
279:
277:
264:
262:
249:
247:
234:
232:
219:
217:
204:
203:
201:
200:
197:
193:
189:
188:
185:
182:
181:
176:
172:
168:
164:
163:
160:
157:
156:
139:
136:
128:
124:
106:
102:
93:
53:
49:
41:The function
39:
33:
19:
5672:Sheaf theory
5652:
5647:
5628:
5622:
5603:
5597:
5569:
5566:Halmos, Paul
5560:
5540:
5533:
5309:
5305:
5097:
5093:
5091:
4993:
4989:
4764:
4760:
4758:
4748:
4744:
4742:
4294:(Gluing) If
4102:is an open
3712:restriction
3711:
3648:sheaf theory
3645:
3639:
3636:Sheaf theory
3625:
3426:
3419:
3405:
3278:
3149:
2870:
2791:
2518:
2492:
2478:Applications
2420:is just the
2380:to a subset
1807:
1797:
1795:
1707:That is, if
1580:if whenever
1553:
1531:
1456:
1171:
931:
909:
782:
741:
583:
577:
522:Higher-order
463:
174:
170:
166:
123:real numbers
68:with domain
5160:) by a set
3276:attribute.
3040:in the set
2887:written as
1532:A function
584:restriction
580:mathematics
507:Multivalued
469:Composition
464:Restriction
127:square root
5525:References
5485:Constraint
4899:and graph
4663:such that
4372:a section
3473:such that
3341:for which
3216:for which
2495:one-to-one
1858:linear map
1528:Extensions
1498:represent
441:Surjective
431:Measurable
426:Continuous
401:Polynomial
5372:∖
5363:▹
5332:by a set
5203:◃
5194:∖
5065:×
5006:▹
4967:∈
4946:∈
4916:◃
4879:codomain
4778:◃
4749:pre-sheaf
4717:for each
4639:∈
4601:∩
4554:∩
4390:∈
4146:∈
4015:∘
3990:composite
3988:then the
3970:⊆
3964:⊆
3895:→
3785:→
3728:⊆
3714:morphisms
3545:→
3490:∪
3349:θ
3295:θ
3288:σ
3224:θ
3166:θ
3159:σ
3075:≥
3069:≠
3057:≤
3024:θ
2945:θ
2938:σ
2903:θ
2896:σ
2877:selection
2806:∞
2803:−
2751:−
2720:∞
2700:≥
2665:∈
2629:−
2360:on a set
2261:
2255:⊆
2249:⊆
2160:→
2113:−
2070:Γ
2054:factorial
2025:↦
2008:→
1967:∞
1913:↦
1896:→
1864:, etc.).
1768:
1730:
1724:⊆
1718:
1556:extension
1433:×
1424:∩
1400:∈
1379:∈
1250:×
1068:∈
999:given by
984:→
908:then the
861:If a set
838:to a set
800:→
652:↾
446:Bijective
436:Injective
411:Algebraic
190:Types by
5666:Category
5604:Topology
5568:(1960).
5479:See also
4816:between
4104:covering
3685:open set
3683:to each
3681:category
3508:and let
3422:topology
3256:and the
3144:relation
2654:for any
1877:function
1868:Examples
1194:relation
588:function
527:Morphism
512:Implicit
416:Analytic
406:Rational
391:Identity
386:Constant
196:codomain
173: (
159:Function
5082:sheaves
5049:subsets
4129:and if
3641:Sheaves
3630:Sheaves
2971:where:
1236:on the
532:Functor
502:Partial
479:Inverse
5635:
5610:
5588:
5580:
5548:
3194:tuples
2019:
1907:
1765:domain
1727:domain
1715:domain
883:subset
742:extend
676:domain
582:, the
421:Smooth
396:Linear
192:domain
4793:of a
4745:sheaf
4291:; and
3706:of a
3679:in a
3603:then
3142:is a
3036:is a
2444:into
2424:from
2279:then
1620:then
1310:graph
881:is a
586:of a
517:Space
5633:ISBN
5608:ISBN
5586:ISBN
5578:ISBN
5546:ISBN
5308:(or
5096:(or
5092:The
5045:-ary
4836:and
4763:or
4490:and
3580:and
3427:Let
3081:>
3051:<
2994:and
2875:, a
2052:The
1745:and
1660:and
1057:for
783:Let
194:and
4992:or
4038:res
4019:res
4000:res
3865:res
3833:of
3755:res
3646:In
3196:in
2929:or
2881:SQL
2871:In
2521:of
2400:of
2258:dom
1288:to
1106:to
932:to
885:of
817:set
639:or
578:In
129:of
5668::
5084:.
4767:)
4751:.
2857:.
1796:A
1312:,
1169:.
360:โ
345:โ
332:โ
315:โ
300:โ
287:โ
270:โ
257:โ
240:โ
238:๐น
225:โ
223:๐น
214:๐น
212:โ
169:โฆ
5641:.
5616:.
5554:.
5464:.
5461:B
5441:R
5421:.
5418:F
5398:B
5378:)
5375:B
5369:F
5366:(
5360:R
5340:B
5320:R
5292:.
5289:R
5269:A
5249:.
5246:E
5226:A
5206:R
5200:)
5197:A
5191:E
5188:(
5168:A
5148:F
5128:E
5108:R
5068:F
5062:E
5033:n
5012:.
5009:B
5003:R
4976:.
4973:}
4970:A
4964:x
4961::
4958:)
4955:R
4952:(
4949:F
4943:)
4940:y
4937:,
4934:x
4931:(
4928:{
4925:=
4922:)
4919:R
4913:A
4910:(
4907:G
4887:F
4867:,
4864:A
4844:F
4824:E
4804:R
4781:R
4775:A
4728:.
4725:i
4703:i
4699:s
4695:=
4688:i
4684:U
4677:|
4671:s
4651:)
4648:U
4645:(
4642:F
4636:s
4616:,
4609:j
4605:U
4596:i
4592:U
4585:|
4577:j
4573:s
4569:=
4562:j
4558:U
4549:i
4545:U
4538:|
4530:i
4526:s
4503:j
4499:s
4476:i
4472:s
4449:j
4445:U
4441:,
4436:i
4432:U
4410:)
4405:i
4401:U
4397:(
4393:F
4385:i
4381:x
4360:i
4340:,
4337:U
4316:)
4311:i
4307:U
4303:(
4279:t
4276:=
4273:s
4251:i
4247:U
4222:i
4218:U
4211:|
4205:t
4202:=
4195:i
4191:U
4184:|
4178:s
4158:)
4155:U
4152:(
4149:F
4143:t
4140:,
4137:s
4117:,
4114:U
4089:)
4084:i
4080:U
4076:(
4053:.
4048:U
4045:,
4042:W
4034:=
4029:U
4026:,
4023:V
4010:V
4007:,
4004:W
3976:,
3973:U
3967:V
3961:W
3939:.
3936:)
3933:U
3930:(
3927:F
3907:)
3904:U
3901:(
3898:F
3892:)
3889:U
3886:(
3883:F
3880::
3875:U
3872:,
3869:U
3844:,
3841:X
3821:U
3797:)
3794:V
3791:(
3788:F
3782:)
3779:U
3776:(
3773:F
3770::
3765:U
3762:,
3759:V
3734:,
3731:U
3725:V
3694:U
3667:)
3664:U
3661:(
3658:F
3611:f
3591:,
3588:Y
3568:X
3548:B
3542:A
3539::
3536:f
3516:B
3496:,
3493:Y
3487:X
3484:=
3481:A
3461:A
3441:Y
3438:,
3435:X
3392:.
3389:v
3369:a
3329:R
3309:)
3306:R
3303:(
3298:v
3292:a
3264:b
3244:a
3204:R
3180:)
3177:R
3174:(
3169:b
3163:a
3146:.
3130:R
3108:v
3087:,
3084:}
3078:,
3072:,
3066:,
3063:=
3060:,
3054:,
3048:{
3002:b
2982:a
2959:)
2956:R
2953:(
2948:v
2942:a
2917:)
2914:R
2911:(
2906:b
2900:a
2841:.
2838:y
2818:,
2815:]
2812:0
2809:,
2800:(
2778:.
2773:y
2768:=
2765:)
2762:y
2759:(
2754:1
2747:f
2726:,
2723:)
2717:,
2714:0
2711:[
2708:=
2703:0
2695:R
2673:.
2669:R
2662:x
2640:2
2636:)
2632:x
2626:(
2623:=
2618:2
2614:x
2592:R
2569:2
2565:x
2561:=
2558:)
2555:x
2552:(
2549:f
2529:f
2505:f
2455:.
2452:X
2432:A
2408:X
2388:A
2368:X
2342:.
2337:A
2332:|
2327:f
2324:=
2319:A
2314:|
2308:)
2302:B
2297:|
2292:f
2288:(
2267:,
2264:f
2252:B
2246:A
2224:.
2221:f
2218:=
2213:X
2208:|
2203:f
2183:X
2163:Y
2157:X
2154::
2151:f
2122:!
2119:)
2116:1
2110:n
2107:(
2104:=
2101:)
2098:n
2095:(
2087:+
2082:Z
2074:|
2038:.
2033:2
2029:x
2022:x
2016:,
2012:R
2003:+
1998:R
1993::
1990:f
1970:)
1964:,
1961:0
1958:[
1955:=
1950:+
1945:R
1921:2
1917:x
1910:x
1904:,
1900:R
1892:R
1888::
1885:f
1844:f
1824:f
1782:.
1779:f
1776:=
1771:f
1759:|
1753:F
1733:F
1721:f
1695:.
1692:)
1689:x
1686:(
1683:F
1680:=
1677:)
1674:x
1671:(
1668:f
1648:F
1628:x
1608:f
1588:x
1568:f
1540:F
1513:.
1510:G
1486:)
1483:)
1480:x
1477:(
1474:f
1471:,
1468:x
1465:(
1442:,
1439:)
1436:F
1430:A
1427:(
1421:)
1418:f
1415:(
1412:G
1409:=
1406:}
1403:A
1397:x
1394::
1391:)
1388:f
1385:(
1382:G
1376:)
1373:)
1370:x
1367:(
1364:f
1361:,
1358:x
1355:(
1352:{
1349:=
1346:)
1341:A
1335:|
1331:f
1326:(
1323:G
1296:A
1276:f
1256:,
1253:F
1247:E
1224:)
1221:)
1218:x
1215:(
1212:f
1209:,
1206:x
1203:(
1180:f
1157:A
1137:,
1134:f
1114:A
1094:f
1074:.
1071:A
1065:x
1045:)
1042:x
1039:(
1036:f
1033:=
1030:)
1027:x
1024:(
1019:A
1013:|
1009:f
987:F
981:A
978::
973:A
967:|
963:f
941:A
919:f
896:,
893:E
869:A
849:.
846:F
826:E
803:F
797:E
794::
791:f
764:.
759:A
755:|
751:f
728:f
708:.
705:f
685:A
662:,
656:A
647:f
625:A
621:|
617:f
597:f
567:e
560:t
553:v
474:ฮป
363:X
358:โ
348:X
343:โ
334:โ
329:X
318:X
313:โ
303:X
298:โ
289:โ
284:X
273:X
268:โค
259:โค
254:X
243:X
228:X
209:X
177:)
175:x
171:f
167:x
140:.
137:x
107:2
103:x
77:R
54:2
50:x
34:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.