for X being set
for p being relation st X c= p holds
X is relation ;