Let us consider the case of survival analysis with one event. Let $X$ represent a set of covariates about each unit. Let $T_E$ be the (latent) event time of the unit, let $T_C$ be the (latent) censoring time of the unit. Let $T = min(T_E, T_C)$ be the observed last time of observation, and let $E = \textbf{1}[T_E < T_C]$ be the event indicator variable.
Survival analysis often makes the assumption of "non-informative censoring", but I'm struggling to find a formal statistical definition for the term. I understand that the term "independent censoring" can be taken to mean:
$$T_E \perp T_C$$
And that the term "conditionally independent censoring" can be taken to mean:
$$T_E \perp T_C | X$$
But what - if any - is the definition of "informative censoring" and "non-informative censoring" within the context of this setup?
As one additional note - in this thread, I came across the definition that "non-informative censoring occurs if the distribution of survival times ($T_E$) provides no information about the distribution of censorship times ($T_C$), and vice versa." But how would this differ from the case of independent censoring that I discussed above? Isn't this just a fancy re-stating of statistical independence?
Thank you so much in advance for the help!!