The interval OC is known as the domain of dependence.

• 区间OC叫做相关域。