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