The definition of a fibration by Serre is by far my favorite example. There, if I recall correctly, leaders in the field were actively looking for the right definition and knew that it would "quickly lead to the lifting property." Serre's definition was the lifting property - "quickly" became in no time, by definition! (Sorry, I don't recall and now can't find the exact reference for that approximate quote.)