# Cumulative distribution function

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

[Catalogue presentation and source-binding data](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [Cumulative distribution function](https://ocme.evemisslab.com/en/atlas/atlas-cumulative-distribution-function/)

For a real-valued random variable, F(t)=P(X≤t) is nondecreasing and right-continuous; in a finite discrete law, its jump is the point mass.

atlas-cumulative-distribution-function · canonical_mko

[Cumulative distribution function](https://ocme.evemisslab.com/en/mko/mko-cumulative-distribution-function/)

## Prerequisite nodes


- [Finite discrete probability distribution](https://ocme.evemisslab.com/en/atlas/atlas-finite-discrete-probability-distribution/)
- [Usual order on the real numbers](https://ocme.evemisslab.com/en/atlas/atlas-order-relation/)
- [Probability on finite sample spaces](https://ocme.evemisslab.com/en/atlas/atlas-probability/)
- [Function mapping](https://ocme.evemisslab.com/en/atlas/atlas-function-mapping/)