home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 16727 < prev    next >
Encoding:
Text File  |  1992-12-11  |  1.1 KB  |  25 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt
  3. From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt)
  4. Subject: Re: Function Terminology
  5. Message-ID: <1992Dec11.203802.1770@CSD-NewsHost.Stanford.EDU>
  6. Sender: news@CSD-NewsHost.Stanford.EDU
  7. Organization: Computer Science Department,  Stanford University.
  8. References: <1gaq3tINNg9q@uwm.edu>
  9. Date: Fri, 11 Dec 1992 20:38:02 GMT
  10. Lines: 13
  11.  
  12. In article <1gaq3tINNg9q@uwm.edu> radcliff@csd4.csd.uwm.edu (David G Radcliffe) writes:
  13. >Suppose I have a function f: A --> B, and C is a subset of B which
  14. >contains the image set of f.  I define a function g: A --> C by
  15. >setting g(a) = f(a) for all a in A.  Usually, f and g can be considered 
  16. >as the same function, but sometimes the distinction is important.
  17. >
  18. >Is there a standard term or notation for this?
  19.  
  20. While I've not heard of one, one could borrow notation used to make the
  21. analogous distinction for the integer 2 viewed as the real 2. and write
  22. f:A->B as f. and f:A->C as just f without the point.
  23. -- 
  24. Vaughan Pratt                All knowledge resides in the going odds
  25.