Definition of Retraction