for f being Function
for A, B being set st A misses B holds
f " A misses f " B