רש"י על שבת ק:

כרמלית מארעא משחינן - י' של אויר שנתנו חכמים לאיסור כרמלית כדאמרינן בפ"ק (דף ז.) ותופסת עד י' מקרקעית הים משחינן להו ואוירא שהוא למעלה מי' ואפילו הן מים הוי מקום פטור הלכך בהיתירא קא שקיל לכתחלה:

דליהוי ליה היכירא - לכרמלית גמורה: