la_5是非空集合formula_29上的关系，formula_5的自反（对称或传递）闭包是formula_29上的关系formula_136，满足一般将formula_5的自反闭包记作formula_144，对称闭包记作formula_145，传递闭包记作formula_146。下列三个定理给出了构造闭包的方法：对于有限集合formula_29上的关系formula_5，存在一个正整数formula_152，使得求传递闭包是图论中一个非常重要的问题，例如给定了一个城市的交通地图，可利用