Necessary and sufficient

In mathematics, the phrase "necessary and sufficient" is frequently used, for instance, in the formulation of theorems, in the text of proofs when a step has to be justified, or when an alternative version for a definition is given.
To say that a statement is "necessary and sufficient" to another statement means that the statements are either both true or both false.

Another phrase with the same meaning is "if and only if" (abbreviated to "iff").
In formulae "necessary and sufficient" is denoted by $\Leftrightarrow$.

There are also some special terms used to indicate the presence of a necessary and sufficient condition, usually used for statements of special significance:

A criterion is a proposition that expresses a necessary and sufficient condition for a statement to be true. The term is mostly used in cases where this condition is easier to check than the statement itself.
While — in the strict sense of the word — the condition given in a criterion has to be necessary and sufficient, the term is sometimes (mostly out of tradition) also used for conditions which are only sufficient.

A characterization of a mathematical object, a class of objects, or a property, is an alternative description equivalent to a previously given definition, i.e., a necessary and sufficient condition. This term is mainly used in cases where the condition is mathematically interesting and provides new insight.

Necessary and sufficient

A statement A is

"a necessary and sufficient condition",

or shorter,

"necessary and sufficient"

for another statement B if it is both

• a necessary condition

and

• a sufficient condition

for B.

Necessary

The statement

• A is a necessary condition for B

or shorter

• A is necessary for B

means precisely the same as each of the following statements:

• If A is false then B cannot be true
• B is false whenever A does not hold
• B implies A

Sufficient

The statement

• A is a sufficient condition for B

or shorter

• A is sufficient for B

means precisely the same as each of the following statements:

• A implies B
• B holds whenever A is true

Examples

For a sequence of positive real numbers to converge against a real number

• it is necessary that the sequence is bounded,
• it is sufficient that the sequence is monotone decreasing,
• it is necessary and sufficient that it is a Cauchy sequence.

The same statements are expressed by:

• For a sequence   $(a_{n}),\ 0\leq a_{n}\in {\textrm {R}}$   the following is true:

Failed to parse (unknown function "\textbb"): {\displaystyle (\exists a\in\textbb R) \lim_{n\to\infty} a_n = a \ \Rightarrow \ (a_n) \ \text{is bounded} }

Failed to parse (unknown function "\textbb"): {\displaystyle (\exists a\in\textbb R) \lim_{n\to\infty} a_n = a \ \Leftarrow \ (a_n) \ \text{is monotone decreasing} }

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\exists a\in\textbb R) \lim_{n\to\infty} a_n = a \ \Leftrightarrow \ (a_n) \ \text{is a Cauchy sequence} }