พจนานุกรม

\forall x\in V:\forall y\in V:\exists path(x,y)} ）があり、閉路がなく、木であり、森であり、有向グラフまたは無向グラフ（あるいは両方）であり、完全グラフであり、辺のないグラフ (empty graph) である。しかし、これらのプロパティの定義は、文脈上 K 0