Use os axiomas para mostrar que, se um evento A estiver contido em outro evento B (ou seja, é um subconjunto de ), então . [Sugestao: neste caso, e e são disjuntos e , como pode ser visto em um diagrama de Venn.] Para os e genéricos, o que podemos deduzir sobre as relaçoes , e ?

Como A está contido em B, então B pode ser escrito como a união de A e (B∩A' ), dois eventos mutuamente exclusivos. (Ver diagrama).