1,自反:R为A上的二元关系,若对于任意的x,x属于集合A→∈R,则称R在A上是自反的
2;对称: 数学上,若对所有的a和b属于X,下述语句保持有效,则集合X上的二元关系R是对称的:「若a关系到b,则b关系到a.」
数学上表示为:foralla,binX,aRbRightarrow;bRa
例如:“和……结婚”是对称关系;“小于”不是对称关系.
对称关系不是反对称关系(aRb且bRa得到b=a)的反义.有些关系既是对称的又是反对称的,比如"等于";有些关系既不是对称的也不是反对称的,比如整数的"整除";有些关系是对称的但不是反对称的,比如"模n同余";有些关系不是对称的但是反对称的,比如"小于".
3传递: 在逻辑学和数学中,若对所有的a,b,c属于X,下述语句保持有效,则集合X上的二元关系R是传递的:「若a关系到b且b关系到c,则a关系到c.」
数学上表示为:
foralla,b,cinX,aRbandbRc;RightarrowaRc
4反自反:
5反对称: 数学上,若对所有的a和b属于X,下述语句保持有效,则集合X上的二元关系R是反对称的:「若对所有的a和b属于X,若a关系到b且b关系到a,则a=b.」
数学上表示为:
foralla,binX,aRbandbRa;Rightarrow;a=b
严格不等是反对称的;实际上a