Probabilitate-banaketa batean, banaketa-funtzioa balio batetik beherako probabilitatea edo maiztasun erlatiboa ematen duen funtzioa da:
![\[F(x)=P[X \leq x]\]](https://gizapedia.hirusta.io/wp-content/ql-cache/quicklatex.com-fbaa0fa231ea99f634b048d44bf4a5b4_l3.png "Rendered by QuickLaTeX.com")
Banaketa-funtzio batetik zorizko aldagaiari edo aldagai estatistikori buruzko edozein probabilitate zehaz daiteke. Banaketa-funtzioka erabat zehazten du probabilitate-banaketa, beraz.
Banaketa-funtzioa funtzio gorakorra da, 
balio handiagoetarako, haietatik beherako probabilitatea gero eta handiagoa baita. Probabilitate-banaketa diskretuetan, eskailera formakoa da, balio isolatuek probabilitatea saltoka gehitzen dutelako; probabilitate-banaketa jarraituetan, berriz, banaketa funtzioak, aldapak dira, balioetan aurrera, probabilitatea suabe gehitzen delako.
Beste hizkuntzetan: ingelesez, distribution function; gazteleraz, función de distribución.