دره ابراهیم

دره ابراهیم . [ دَ رِ اِ ] (اِخ ) دهی است از دهستان بالا بخش شهرستان نهاوند. واقع در ١٠هزارگزی جنوب نهاوند و ٤ هزارگزی جنوب باختری راه شوسه ٔ نهاوند به ملایر، با ٤٣٠ تن سکنه . آب آن از چشمه و راه آن مالرو است . (از فرهنگ جغرافیایی ایران ج ٥).