逻辑关系的一种。如果没有甲，必然没有乙，那么甲就是乙的必要条件。

如果没有A，则必然没有B；如果有A而未必有B，则A就是B的必要条件，记作B→A，读作“B蕴涵于A”。数学上简单来说就是如果由结果B能推导出条件A，我们就说A是B的必要条件。