自反关系

设 R是 A上的一个二元关系，若对于 A中的每一个元素 a， (a,a)都属于 R，则称 R为自反关系。换言之，在自反关系中， A中每一个元素与其自身相关。[1]则称R为从集合A到集合B的一个二元关系，简称为从A到B的一个二元关系。设A，B是两个集合，R是A×B的任意一个子集，即