لغتنامه دهخدا
ایراهستان . [ هَِ ] (اِخ )اراهستان .ساحل و ناحیه ایست مجاور خلیج فارس در ایالت فارس . (فرهنگ فارسی معین ) : قلاع ایراهستان بیش از آن است که برتوان شمردن که بهر دیهی حصاری است که اگر بر سنگ و اگر سرتل و اگر بر زمین و همه گرمسیر بغایت . (فارسنامه ٔ ابن ا