自反性

如果集合里每个元素都和自己有这个关系，就说关系有自反性。比如"相等"是自反的（每个数都等于自己），"小于"不是自反的（没有数小于它自己）。检查自反，只看每个 (a,a) 在不在关系里。