The Definition of Free Application