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