Function that maps events to their probability. Must satisfy non-negativity, normalization and countable additivity.