for A, B being set
for x being object st not x in B holds
(A --> x) " B = {}