Definition:

retracts