ההגדרה של שוק יעיל היא לא משהו שאני המצאתי. בגדול, שוק יעיל הוא שוק שבו כל המידע (הקיים כיום) ידוע לכל המשתתפים, כל המשתתפים יכולים להשתתף בו באופן שווה, וכל המשתתפים רק רוצים למקסם את הרווח שלהם.
https://en.wikipedia.org/wiki/Perfect_market
אם התכוונת למשהו אחר אולי עדיף לקרוא לו בשם אחר.
האמירה "לא ניתן לנצח את השוק לאורך זמן" היא לא ההגדרה של שוק יעיל, היא מסקנה שאפשר לטעון שמתקיימת עבור שווקים יעילים. אבל היא מתקיימת רק מראש, לא בדיעבד: לא ניתן לדעת מראש אם מישהו ספציפי ינצח את השוק לאורך זמן, אבל בדיעבד, יכולים להיות כאלו שמנצחים את השוק לאורך זמן.