گراف $G$ را همسایه منتظم گویند، اگر برای هر $v \in V(G)$، زیرگراف القایی روی $N(v)$ و $R(v)$ منتظم باشد. $N(v)$ مجموعه‌ی همسایه‌های $v$ است و $R(v)=V(G)-N(v)-\{v\}$.
اگر ثابت‌های $\alpha$ و $\beta$ وجود داشته باشند که هر دو راس مجاور دقیقا $\alpha$ همسایه‌ی مشترک داشته باشند و هر دو راس غیر مجاور دقیقا $\beta$ همسایه‌ی مشترک داشته باشند، آن‌گاه گراف $G$ قویا منتظم است.
ثابت کنید، اگر گراف $G$ منتظم و همسایه منتظم باشد، آن‌گاه $G$ قویا منتظم است.