Function equality

Two functions \(f\) and \(g\) are equal as a relation / set if and only if they have both: - the same [[domain]], and - the values of \(f\) and \(g\) at each element of the domain are the same