ある事柄が成立するための必要にして十分な条件。

命題「AならばB」と命題「BならばA」が同時に 成り立つとき、BはA（またはAはB）の必要十分条件という。