闭包的概念
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
闭包的概念
关系R的闭包：含有关系R的“最小”的关系
自反性：令C={（x,y）|x、y属于A}，设D是C的某非空子集，如果（x，y）属于D，则称x，y有（由D规定的）关系，记为x ~ y。(符号（*,*）表示两者组成的有序对）。
如果（x，x）属于D总成立，则称那个由D规定的关系具有自反性。
例子：x，y都属于实数集。那么上述的C可视为（平面直角坐标系下的）实二维空间，令D为y=x这条直线，即{（x,y）|x=y}。实际上D规定的就是两个实数“相等”这个关系，即任何（x，y）属于D意味着x=y。易验证，此关系具自反性，因为（x,x）总属于D。