mein mathelehrer hat immer gesagt,...

... jeder dackel ist ein hund aber nicht jeder hund ist ein dackel.
da ging es um "hinreichende" und "notwendige" vorraussetzungen eines satzes.