Dr. Harvill provides a definition of a probability function via Kolmogorov's Axioms and discusses the implication of the domain of that function.   The idea of a probability measure space is also introduced.  Following that is an illustration of using the Axioms to construct a probability function follows.  Then a definition for computing the probability of an event, along with examples concludes this video.