for X being set
for R being Relation holds R .: X c= R .: (dom R)