for X, Y being set
for f being one-to-one Function st X misses Y holds
f .: X misses f .: Y