Dependency graph of events
= Dependency graph of events
= Independence graph of events
{synonym}
A <dependency graph of events> joins potentially dependent events. Each event must be independent of the <sigma-algebra> generated by all its nonneighbors, a joint condition stronger than pairwise independence. In a product probability space, joining events whose sets of underlying independent variables overlap gives such a graph. This supplies the hypothesis of the <Lovász local lemma>.