Complex numbers/Real and imaginary part/Definition