I have a question concerning how how we define the differentiation and integration operators. Firstly, I know that functions are typically defined as an ordered triple triple ##(X, Y, f)## such that ##f⊆X×Y##, where ##x \in X## and ##f(x) \in Y##. This all seems nice and fine, but we also define...