theorem :: MARGREL1:1

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