theorem :: RELAT_1:66

for X being set
for R being Relation holds
( R | X = {} iff dom R misses X )