la_109）。紧缩和排列确保序列元素的次序（formula_109）和多次出现（formula_108）都不重要。就是说，你可以不把它当作序列而作为集合。但是使用序列的额外努力是正当的，因为部分或全部的结构规则可以被忽略。这么做了就得到了所谓的亚结构逻辑。
LK系统的性质.这个规则系统可以被证明关于一阶逻辑是可靠的和完备的，就是说，从前提的集合Γ语义上得到的一个陈述formula_112，当且仅当相继式formula_113可以用上述规则推导出来。在相继式演算中，切是可接