设A={1，2，3，4}，下列几个是A 上的二元关系。
R1={<1，1>，<1，2>，<2，1>，<2，2>，<3，4>，<4，1>，<4，4>}；
R2={<1，1>，<1，2>，<2，1>}；
R3={<1，1>，<1，2>，<1，4>，<2，1>，<2，2>，<3，3>，<4，1>，<4，4>}；
R4={<2，1>，<3，1>，<3，2>，<4，1>，<4，2>，<4，3>}；
R5=(<1，1>，<1，2>，<1，3>，<1，4>，<2，2>，<2，3>，<2，4>，<3，3>，<3，4>，<4，4>}；
R6={<3，4>}。
其中，哪些是自反关系? 哪些是反自反关系?
解: 关系R3，R5是自反的，因为它包括所有形如<a，a>的序对。关系R4，R6是反自反的，因为它不包括任何形如<a，a>的序对。而关系R1，R2既不是自反的，也不是反自反的。
因为R1中包含<1，1>，<2，2>，<4，4>，但不包含<3，3>；R2中包含<1，1>.但不包含<2，2>，<3，3>，<4，4>。
自反性和反自反性可以在关系图和关系矩阵上非常直观地反映出来。
