fancu gismu

x1 is a function/single-valued mapping from domain x2 to range x3 defined by expression/rule x4.

See also mekso, bridi.


In notes:

bridi
x1 (text) is a predicate relationship with relation x2 among arguments (sequence/set) x3.
mekso
x1 [quantifier/expression] is a mathematical expression interpreted under rules/convention x2.