En teoría de la probabilidad y lógica, un conjunto de eventos es colectivamente exhaustivo si al menos uno de los eventos debe ocurrir . Por ejemplo, al lanzar un dado de seis caras , los eventos 1, 2, 3, 4, 5 y 6 de un único resultado son colectivamente exhaustivos, porque abarcan todo el rango de resultados posibles.
Otra forma de describir los eventos colectivamente exhaustivos es que su unión debe cubrir todos los eventos dentro del espacio muestral completo. Por ejemplo, se dice que los eventos A y B son colectivamente exhaustivos si
donde S es el espacio muestral .
Comparemos esto con el concepto de un conjunto de eventos mutuamente excluyentes . En un conjunto de este tipo, no puede ocurrir más de un evento en un momento dado. (En algunas formas de exclusión mutua, solo puede ocurrir un evento). El conjunto de todas las tiradas de dados posibles es tanto mutuamente excluyente como colectivamente exhaustivo (es decir, " MECE "). Los eventos 1 y 6 son mutuamente excluyentes pero no colectivamente exhaustivos. Los eventos "par" (2, 4 o 6) y "no-6" (1, 2, 3, 4 o 5) también son colectivamente exhaustivos pero no mutuamente excluyentes. En algunas formas de exclusión mutua, solo puede ocurrir un evento, ya sea colectivamente exhaustivo o no. Por ejemplo, no se puede repetir el lanzamiento de una galleta en particular para un grupo de varios perros, sin importar cuál de ellos la agarre.
Un ejemplo de un evento que es a la vez colectivamente exhaustivo y mutuamente excluyente es lanzar una moneda. El resultado debe ser cara o cruz, o p (cara o cruz) = 1, por lo que los resultados son colectivamente exhaustivos. Cuando sale cara, no puede salir cruz, o p (cara y cruz) = 0, por lo que los resultados también son mutuamente excluyentes.
Otro ejemplo de eventos que son colectivamente exhaustivos y mutuamente excluyentes al mismo tiempo son el evento "par" (2, 4 o 6) y el evento "impar" (1, 3 o 5) en un experimento aleatorio de lanzamiento de un dado de seis caras . Ambos eventos son mutuamente excluyentes porque los resultados pares e impares nunca pueden ocurrir al mismo tiempo. La unión de los eventos "pares" e "impares" da un espacio muestral de lanzamiento del dado, por lo tanto son colectivamente exhaustivos.
El término "exhaustivo" se ha utilizado en la literatura al menos desde 1914. A continuación se ofrecen algunos ejemplos:
Lo siguiente aparece como nota a pie de página en la página 23 del texto de Couturat, El álgebra de la lógica (1914): [1]
En la discusión de Stephen Kleene sobre los números cardinales , en Introducción a la metamatemática (1952), utiliza el término "mutuamente excluyente" junto con "exhaustivo": [3]