关系的闭包

关系的闭包1.5 关系的闭包 ,定义1 设是上的二元关系，的自反(对称、传递)闭包是关系，使 RARR,,(1) 是自反的(对称的、传递的);(2) ; RR,R,,,,,,,(3) 对任何自反的(对