A
≤
m
B
is true if and only if there exists a mapping reduction from
A
to
B
.