A relational symbol representing functions, mappings, implications, or limits going from one element to another.
