どこかのスレで見たが

〜の必要十分条件は〜である。
〜の必要条件は〜である。
〜の十分条件は〜である。

みたいな用語