GM-RKB: Function Range

A Function Range is the Output Set to a Function.

AKA: Codomain.
See: Function Domain.

References

http://www.isi.edu/~hobbs/bgt-sequences.text
- We won't use these terms formally, but we can call s1 the domain of the function and s2 the range.
  - (6) (forall (f s1 s2) (if (function0 f s1 s2)(domain s1 f)))
  - (7) (forall (f s1 s2) (if (function0 f s1 s2)(range s2 f)))

HomePage
This page is read-only View other revisions
Last edited 2009-05-31 03:53 UTC by CPE0013f7f2b89c-CM0013f7f2b898.cpe.net.cable.rogers.com (diff) TERMS OF USE: This portion of my www.gabormelli.com site is intended to help me with my personal research pursuits. You may use any novel content in whatever legal ways that you see fit.
Note though that much of the material within this site is external to the site (and duly quoted and referenced). This externally referenced material has its own terms of use which you will need to refer to before reusing.
You can try reaching me at this email address (minus underscores & reversed)