for X being set
for x being object
for R being Relation holds
( x in dom (R | X) iff ( x in X & x in dom R ) )