Necessary condition: when one case M does not exist, another case N must not exist, then the former (M) is the necessary condition of the latter (N) .
According to this definition, which of the following M and N constitute a necessary conditional relationship?
A number can be divisible by 2 (M), the number is even (N).