# Function Range

A Function Range is the Output Set to a Function.

**AKA:**Codomain, Range of a Function.**Context:**- It can be associated to a Function Output Instance.

**Counter-Example(s):****See:**Software Function, Dependent Variable.

## References

### 2014

- http://en.wikipedia.org/wiki/Range_%28mathematics%29
- In mathematics, and more specifically in naive set theory, the
**range**of a function refers to either the*codomain*or the*image*of the function, depending upon usage. Modern usage almost always uses*range*to mean*image*.The codomain of a function is some arbitrary set. In real analysis, it is the real numbers. In complex analysis, it is the complex numbers.

The image of a function is the set of all outputs of the function. The image is always a subset of the codomain.

- In mathematics, and more specifically in naive set theory, the

### 2007

- http://www.isi.edu/~hobbs/bgt-sequences.text
- QUOTE: 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)))`

- QUOTE: We won't use these terms formally, but we can call s1 the domain of the function and s2 the range.