دره ابراهیم

دره ابراهیم . [ دَ رِ اِ ] (اِخ ) دهی است از دهستان بالا بخش شهرستان نهاوند. واقع در 10هزارگزی جنوب نهاوند و 4 هزارگزی جنوب باختری راه شوسه ٔ نهاوند به ملایر، با 430 تن سکنه . آب آن از چشمه و راه آن مالرو است . (از فرهنگ جغرافیایی ایران ج 5).