If is a random variable on some probability space , is a set in , and for every Borel subset of , we have
then we say that is independent of .
Show that if is independent of an event then
, just from the definition given.
Here denotes the distribution measure.