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