However, considering there are only two regulation subset with active condition as time goes, this will be able to cover all subtasks with pragmatic interest.

然而，考虑到随时间流逝只有两个活性条件的规则子集，这将能够覆盖全部有实用兴趣的子任务。

youdao

A space X is nearly metacompact if and only if every monotone open cover U has an open refinement that is point-finite on some dense subset of X;

空间X是几乎亚紧的当且仅当X的每一单调开覆盖U有一个开加细，且在X的某一稠密子集上是点有限的；

youdao