База орграфа

База орграфа (Base of a directed graph) - подмножество [math]\displaystyle{ B }[/math] вершин орграфа [math]\displaystyle{ G = (V,E) }[/math], удовлетворяющее условиям: (1) вершины базы не достижимы одна из другой; (2) любая вершина из [math]\displaystyle{ V \setminus B }[/math] достижима из какой-либо вершины базы.