Necessary condition

X is a necessary condition for Y if and only if X must be true given the truth of Y. If X is necessary for Y, then X is guaranteed by Y—without the truth of X, Y cannot be true.