theorem :: RELAT_1:21

for R being Relation holds field R = field (R ~)