Probability Theory/Independence

note to self: in the case of indep., the rules of the kind  should be derived.

Definition (independence of events):

Let be a probability space and let . and are said to be independent iff .

Remark (independence and conditional probability):

Using the definition of conditional probability, if e.g. we may rephrase the independence of and as .