A condition which is required to be true for a statement to be true. For example, for a number to be divisible by 10 it is necessary that the number be even. Note that if A is a necessary condition for B, B is a sufficient condition for A, and vice versa, so in the above example knowing that a number is divisible by 10 is sufficient to know that the number is even.