\(\mathbb{C}\rightarrow \mathbb{R}\cup\lbrace-\infty\rbrace\) defined by \( x \mapsto Re(Log(x))\)