for A, B, y being set st A meets rng ((id B) +* (A --> y)) holds
y in A