Definition of the double integral