x_{1} is a function/single-valued mapping from domain x_{2} to range x_{3} defined by expression/rule x_{4}.

- bridi
- x
_{1}(du'u) is a predicate relationship with relation x_{2}among arguments (sequence/set) x_{3}. - mekso
- x
_{1}[quantifier/expression] is a mathematical expression interpreted under rules/convention x_{2}. - funtiio
- x
_{1}(plural of ordered pairs) is an exhaustive set (possibly infinite) of inputs/outputs defining a unary function which yields result x_{3}when given input x_{2}; x_{1}(x_{2}) = x_{3} - integrale
- x
_{1}(number) is the integral (limit) of function x_{2}