设某系统的单元ei的先行集A(ei)和可达集R(ei)满足关系A(ei)=A(ei)∩R(ei)，则ei一定是该系统的底层单元。