{\displaystyle f\colon \{1,\ldots ,5\}^{2}\to \mathbb {R} } Roughly speaking, they have been introduced in the theory under the name of type in typed lambda calculus. The graph of the function then consists of the points with coordinates (x, y) where y = f(x). S Again a domain and codomain of 5 , Y f and thus WebFind 84 ways to say FUNCTION, along with antonyms, related words, and example sentences at Thesaurus.com, the world's most trusted free thesaurus. ) {\displaystyle f|_{U_{i}}=f_{i}} All Known Subinterfaces: UnaryOperator