shows the relations between the terms: HYPERGRAPHS = SET-FAMILIES ⊃ INDEPENDENCE-SYSTEMS = ABSTRACT-SIMPLICIAL-COMPLEXES ⊃ MATROIDS. See also Kruskal–Katona theorem Simplicial set References Algebraic topology Families of sets Simplicial sets