If and only if/Definition

A frequently used phrase of mathematical language which states that two statements are (logically) equivalent. cf. necessary and sufficient.