He estado tratando de encontrar una prueba rigurosa para la siguiente identidad, pero no estoy llegando a ninguna parte:
$P[A\setminus B]=P[A]-P[A \cap B]$
Parece obvio con los diagramas de Venn pero estoy interesado en una prueba formal para esto. Se agradece cualquier ayuda y/o pista.