Bir E örneklem uzayında tanımlı tüm olayların kümesi EA olsun. Aşağıdaki üç aksiyomu sağlayan herhangi bir P:EA fonksiyonuna EA üzerinde bir olasılık fonksiyonu denir.
aksiyom: dir.
aksiyom: P(E)=1 dir.
aksiyom: A ve B, EA nın iki ayrık olayı ise, P(A B)=P(A)+P(B) dir.
Tanıma göre, EA kümesi olasılık fonksiyonunun tanım kümesi ve kapalı aralığı değer kümesidir. 1. aksiyom hiçbir olasılığın 0 dan küçük ve 1 den büyük olamayacağını belirtiyor. 2. aksiyom örneklem uzayın olasılığının her zaman 1 olduğunu belirtiyor. 3. aksiyom ise ayrık iki olayın birleşiminin olasılığının her ikisinin olasılıkları toplamına eşit olduğunu belirtiyor.