theorem :: RELAT_1:106

for R being Relation holds {} |` R = {} ;