设 R是 A上的一个二元关系，若对于 A中的每一个元素 a， (a,a)都属于 R，则称 R为自反关系。换言之，在自反关系中， A中每一个元素与其自身相关。