A relational symbol representing the image or range of a function, mapping, or transformation in set theory.
