Which is the correct definition for an infinitive?