命題「 \(A\to B\) 」があるとき、

ＡはＢであるための十分条件と言う。

ＢをＡであるための必要条件という。

命題「 \(A\gets B\) 」も成り立つとき、

Ａ，Ｂともに必要十分条件という。

①「a＋c＝ｂ＋ｃ」←→「a＝ｂ」より、

　「a＋c＝ｂ＋ｃ」は必要十分条件。

②「a=b」→「ac=bc」より、

　「a=b」は十分条件。

　逆はｃ＝０のとき成り立たないので。