基于矩阵的二元关系研究

摘要

对于任意非空有限集合A上的二元关系R,r(R)称为二元关系R的自反闭包,s(R)称为二元关系R的对称闭包,t(R)称为二元关系R的传递闭包.且有ts(R)(∩)st(R).本文旨在提出一个命题,即对于具有自反性质的二元关系R,ts(R)=st(R).且证明了命题为真.