In mathematics, a condition that must be satisfied for a statement to be true and without which the statement cannot be true. For example, although no one can run for president of the United States unless he or she is thirty-five or older, simply being thirty-five is not a sufficient condition to be president. (Compare necessary condition.)