Явно. Упорядоченные пары обычно обозначают

, а фигурные скобки обычно обозначают множества, но всё равно вопрос непонятно в чём. Вообще, любую функцию

можно преобразовать в единственную

, где

— множество функций из

в

, удовлетворяющую соотношению

, это называется каррированием (currying). Так что любую функцию

можно превратить в функцию вещественного аргумента

, которую, в свою очередь, можно разделить на две — одна выдаёт действительную часть результата, другая мнимую (у этого преобразования функции

в пару функций

и

особого названия нет).