局部实现(locally realize)公式集的一种相对协调性.设1,是丫中的理论，=.zl,xz，二’,x‑是犷中的公式集谬一抓x x.z... xn是丫中的一个公式.如果列与T协调，并且对每一a (.z‑ xz,...,xn)E'(二:，二:, ,x‑)，都有T +/.z‑x2,...x‑抓xxZ...xn-＞Q(,x1x.Z,...,,z‑).则称T局部实现乏.就是说，在T的一个模型ou中，每个满足笋的n元组Qaz...,cz‑EA都实现艺.如果T不局部实现万，则称T局部省略艺.也就说，对于每个与T协调的公式抓xi,.zZ,...,x‑，都存在一个公式a任乏能使得甲八门a与T协调.