设S是序幺半群,在序S-系范畴中引入了条件(E′P),给出了循环序S-系S/ρ和序对角S-系D(S)满足条件(E′P)的等价刻画,讨论了条件(E′P)关于有向上极限封闭的问题。最后,给出了循环序S-系S/ρ有条件(E′P)-覆盖的充分必要条件。