A number is even If and only if it is divisible by 2.
Se e somente se. A expressão "if and only if" estabelece uma condição necessária e suficiente para que algo seja verdade. Ou seja, uma afirmação é verdadeira se e somente se outra afirmação também for verdadeira. É uma relação de equivalência mais forte do que a simples condicional "if".