\begin{definition}[Definition:Independent Events/Definition 1]
Let $\EE$ be an experiment with probability space $\struct {\Omega, \Sigma, \Pr}$.
Let $A, B \in \Sigma$ be events of $\EE$ such that $\map \Pr A > 0$ and $\map \Pr B > 0$.
The events $A$ and $B$ are defined as '''independent (of each other)''' {{iff}} the occurrence of one of them does not affect the probability of the occurrence of the other one.
Formally, $A$ is independent of $B$ {{iff}}:
:$\condprob A B = \map \Pr A$
where $\condprob A B$ denotes the conditional probability of $A$ given $B$.
\end{definition}