关于离散数学中的闭包描述感到狂抓。

Question

原文:
    一般说来，设R是集合A上的关系。R可能具有或者不具有某些性质P，例如自反性、对称性或传递性。如果存在包含R的具有性质P的关系S,并且S是包含R且具有性质P的每一个关系的子集，那么S叫做R的关于P的闭包。(注意一个关系关于一个性质的闭包可能不存在)我们将说明怎样找关系的自反闭包、对称闭包传递闭包。读着很纠结，仍然不明白什么叫闭叫，请大神指点，谢谢！

Answer 1

对于一个事物R，ABC等等都是它属性。属性之间存在关系。例如A->B就是AB属性的关系。
A->B 那么B->A就是自反性
A->B,B->C那么A->C就是传递性
如果存在一个集合，包含了事物的所有关系，就叫做事物R的关系闭包。存在一个定义叫做最小闭包，意思就是这个闭包内的任意一个关系都不能由其它关系推出。

Answer 2

对于搞计算机的，还是感觉离散比神马高数还要重要，后者纯粹为的读研（当然在很多领域高数也是非常重要的），现在都还给老师了，这个讲得还不错
http://v.youku.com/v_show/id_XMTQ3ODM0MTYw.html