>>29
それは統計的（経験的）確率の定義。
高校の教科書のが古典的確率。
もちろん確率論としては公理的定義しか要らないけどね。