What should be the notation for CDF?

33 Views Asked by At

I have conditional PDF:

$$f_{Z \mid Z > t}(z) = \frac{f_Z(z)}{P(Z > t)}$$

Now I want to compute the CDF. What should be the notation of CDF? $F_{Z \mid Z > t}(z)$ or $P(Z \leq z \mid Z > t)$?

${{}}$