可交换的产生式系统的状态空间图为有界格

• The State-Space Graph of Exchangeable Production System is a Bounded Lattice