A number is prime if it's only divisors are 1 and itself. We all know that the implication is iff. The convention is to state only the if part. However does anyone know of a mathematical definition whereby it really is defining the if condition only? i.e a definition like A is true if condition B is satisfied. But A being true does not mean condition B is satisfied?