Definition of "retraction"