Hypergraphs
Jason I. Brown · 2016
All of the discrete models we have seen so far – digraphs, graphs, preorders, partial orders – have involved only binary relations. The next step up is to hy- pergraphs (sometimes called set systems), which are discrete structures on a set V where the edges are subsets of the power set of V . Hypergraphs orig- inally received attention for their role as models. Designs are arrangements of objects subject to particular regularity constraints. Point set topology is essentially the study of hypergraphs closed under finite intersection and ar- bitrary union. Finite geometry examines hypergraphs that satisfy a variety of axioms related to Euclidean geometry. And we shall study one of the most important classes of hypergraphs, namely simplicial complexes in the next chapter.