[1] [DFN[必要十分条件]]は、[[必要条件]]かつ[[十分条件]]です。