R是A*A的一个子集.如果∈R则称a,b具有二元关系R.如果对于任意x都有∈R,也就是说任意A中的x和自身都有二元关系R,那么R就是自反的,也称反身性.
x属于集合A→∈R.这里箭头应该表示蕴含关系,也就是根据前者能推出后者.