theorem :: RELAT_1:181

for X, Y being set
for R being Relation st X c= Y holds
(R \ (R | Y)) | X = {}