ある事柄が成立するために必要な条件。

命題「AならばB」が成り立つとき、BはAの必要条件という