theorem
Th2
:
:: BOOLMARK:2
for
X
,
Y
being non
empty
set
for
A
,
B
being
Subset
of
X
for
f
being
Function
of
X
,
Y
st
f
.:
A
misses
f
.:
B
holds
A
misses
B