# Looking for the Name of this property: $\mathsf{P}\left(X \leqslant x\right) = \mathsf{P}\left(h(X) \leqslant h(x)\right)$

$h(\cdot)$ denotes a strict monotonic increasing transformation such as $\log$.

Another inequality I do not quite get is that

$$\mathsf{P}\left(h(X) \le h(x)\right) \ge \mathsf{P}\left(X \le h(x)\right)$$

Some help would be very much appreciated!

-
Which property do you want? The one in the title of your question or the one in the text of your question? –  Dilip Sarwate Aug 23 '12 at 20:23
No name that I know for the property in the title, which is a simple consequence of the identity, valid for any strictly increasing function $h$, $$\{\omega\in\Omega\mid h(X(\omega))\leqslant h(x)\}=\{\omega\in\Omega\mid X(\omega)\leqslant x\}.$$ Note: The inequality in the body cannot be true in general.
Did you try this for the function $h=\log_{10}$ mentioned in your post, and $x=10,000,000$? Then $[\log(X)\lt\log(10,000,000)]=[\log(X)\lt7]=[X\lt10,000,000]$ but you suggest to replace it by $[X\lt7]$... –  Did Aug 23 '12 at 20:50
Still wrong! Try $h(x)=10^x$. –  Did Aug 23 '12 at 20:55