گراف G را همسایه منتظم گویند، اگر برای هر v∈V(G)، زیرگراف القایی روی N(v) و R(v) منتظم باشد. N(v) مجموعهی همسایههای v است و R(v)=V(G)−N(v)−{v}.
اگر ثابتهای α و β وجود داشته باشند که هر دو راس مجاور دقیقا α همسایهی مشترک داشته باشند و هر دو راس غیر مجاور دقیقا β همسایهی مشترک داشته باشند، آنگاه گراف G قویا منتظم است.
ثابت کنید، اگر گراف G منتظم و همسایه منتظم باشد، آنگاه G قویا منتظم است.