En teoría de conjuntos, la noción equivalente del condicional material formula_1 es: