jancancook
Posts : 1136 Join date : 2011-01-02
| Subject: Informally, a restriction of a function ƒ Thu Nov 10, 2011 9:06 pm | |
| Informally, a restriction of a function ƒ is the result of trimming its domain. More precisely, if ƒ is a function from a X to Y, and S is any subset of X, the restriction of ƒ to S is the function ƒ|S from S to Y such that ƒ|S(s) = ƒ(s) for all s in S. If g is a restriction of ƒ, then it is said that ƒ is an extension of g. The overriding of f: X → Y by g: W → Y (also called overriding union) is an extension of g denoted as (f ⊕ g): (X ∪ W) → Y. Its graph is the set-theoretical union of the graphs of g and f|X \ W. Thus, it relates any element of the domain of g to its image under g, and any other element of the domain of f to its image under f. Overriding is an associative operation; it has the empty function as an identity element. If f|X ∩ W and g|X ∩ W are pointwise equal (e.g., the domains of f and g are disjoint), then the union of f and g is defined and is equal to their overriding union. This definition agrees with the definition of union for binary relations. mold test kit Michiganbreitling replica | |
|