Definition of "retracts"