What is it called when a behavior is followed by the removal of an aversive stimulus?

a$)$ Extinction

b$)$ Negative

c$)$ Positive

d$)$ Generalization