<logic> The set of objects that may serve as the values (outputs) of a function.
[Glossary of First-Order Logic]
<2001-03-16>
Try this search on OneLook / Google