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