Dacă elementele mulțimii A aparțin elementelor mulțimii B atunci elementele mulțimii B nu aparțin elementelor mulțimii A deoarece toate elementele ce se găsesc în mulțimea A trebuie să se găsească și în mulțimea B și toate elementele ce se găsesc în mulțimea B trebuie să se găsească și în mulțimea A deci.