Definition of "real part"

real part