graph of function

the graph of a function is the set of points such that . it is denoted .
[cite:@calc_hubbard_2015 definition 3.1.1]
thus the graph of a function lives in a space whose dimension is the sum of the dimensions of the domain and codomain of .
it is convenient to denote a point in the graph of a function as . with and . but this presupposes that the "active" variables are the first variables, which is a problem, since we usually cannot use the same active variables at all points of the mainfold.
[cite:@calc_hubbard_2015]
  1. the graph of a partial function is the relation 2. partial functions and are equal, , if .
[cite:;taken from @computability_soare_2016 definition 2.1.7]