西安电子科技大学关系闭包的定义$3.4.1软件学院茶教家家家教家家设R是集合A上的二元关系，R的自反（对闭包称、传递）闭包是满足以下条件的关系R(i）R'是自反的（对称的、传递的）;(ii) R'2R;(iii）对于A上的任何自反（对称、传递）关系R"，若R"2R，则有R"2R'R的自反、对称、传递闭包分别记为r(R)、s(R) 和t(R)。集合A上的二元关系R的自反（对称、传递）闭包是包含R的最小的自反（对称、传递）关系。西安电子科技大学 关系闭包的定义 软件学院 闭包 §3.4.1 集合A上的二元关系R的自反（对称、传递）闭 包是包含R的最小的自反（对称、传递）关系。 设R是集合A上的二元关系，R的自反（对 称、传递）闭包是满足以下条件的关系R'： （i）R'是自反的（对称的、传递的）； （ii）R' ⊇R； （iii）对于A上的任何自反（对称、传递） 关系R"，若R" ⊇R，则有R" ⊇R'。 R的自反、对称、传递闭包分别记为 r(R) 、s(R) 和t(R)