THE MAXIMAL FREE RATIONAL QUOTIENT 1. Definition of a