for D being non empty set
for X being set
for r being Element of relations_on D st X c= r holds
X is Element of relations_on D