假设一个随机时间描述一个随机事件的发生时刻，如果在任何时刻都可以基于历史与当前信息来判断此事件发生与否，那么此随机时间是停时，否则不是。

【 在 spioner007 的大作中提到: 】
--
FROM 112.80.16.*

一般地，随机变量（其实它就是个映射，函数，叫“变量”可能是历史原因，有些误导）是从一个可测空间到另一个可测空间的可测映射。特别地，当另一个可测空间取为$$[0,+\infty)\cup\{+\infty\}=[0,+\infty]$$时，随机变量称为随机时间。再加上停时的条件即为停时定义。

【 在 spioner007 的大作中提到: 】
: 是随机函数吧，能取无穷大，可以叫随机变量吗？
--
FROM 112.80.16.*