theorem :: RELSET_1:14

for X being set holds id X is Relation of X,X by Th13;