Definition of Redeundo