To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
Definition: A frequently used phrase of mathematical language which states that two statements are (logically) equivalent; cf. necessary and sufficient. [d] [e]
