We could alternatively define the complex exponential function based on this relationship.
For t\in\mathbb{R} , the relationship \overline{\exp(it)}=\exp(-it) holds, so that |\exp(it)|=1 for real t and t\mapsto\exp(it) maps the real line (mod 2\pi) to the unit circle.