Needham Multivariable Calculus: Domain of Function of Several Variables