Definition:Complex Riemann Integrable Function