Definition:Real Part of Complex Number