for Y being set
for R being Relation st Y <> {} & Y c= rng R holds
R " Y <> {}