Let $X:=X_1,..,X_n$ iid $\sim P$-distributed where $P$ is a known distribution and $T_n(X_1,..,X_n)$ is a test-statistic with unknown distribution $P(T_n(X)\leq t)$. Furthermore I am interested in the probability $P(T_n\geq t_0)$ for some fixed value $t_0$. To get this probability I start a simulation:
1) I simulate a number of samples $X^b=X_1^b,..,X_n^b$ iid $\sim P$, where $1\leq b\leq k$ is the index of b-th sample.
2) I approximate $P(T_n\geq t_0)$ through the ecdf $\hat P(T_n\geq t_0)=\frac{\#(T_n(X^b)\geq t_0)}{k}$ of $T_n$.
If I dont make a mistake in my explanations, is the mathematical background for this approximation the theorem of Glivenko-Cantelli or do I need more then this theorem or something else?