Definition:Real Part