试写出随机变量X的分布函数的定义。

随机变量X的分布函数定义为一个实值函数，该函数的定义域为整个实数轴，函数值在区间[0,1]上。分布函数$F(x)$表示随机变量X取值小于等于x的概率，即$F(x)=P(X\leq x)$。分布函数是概率论中描述随机变量概率分布的重要工具，它能够全面地描述随机变量的统计特性。