Necessary and sufficient/Definition

In mathematics, a frequently used phrase to say that two statements are logically equivalent.