局部系统(local system)一个模型的一组特殊的子模型.设留是牙的模型,}},:iEl}是卿的一组子模型,如果有 并对任何i,jEl,都存在kEl能使A;UA;EAk,则称{'2l;;iEl}为留的一个局部系统.