Nerve of a covering
In topology, the nerve of an open covering is a construction of an abstract simplicial complex from an open covering of a topological space X.
The notion of nerve was introduced by Pavel Alexandrov.
Given an index set I, and open sets Ui contained in X, the nerve N is the set of finite subsets of I defined as follows: