The link at a fixed vertex of an -uniform hypergraph has vertex set and the displayed -element hyperedges. For a universal countable uniform hypergraph, its link has the hypergraph extension property: include in the finite set of vertices and prescribe only those -edges containing , completing the remaining prescription arbitrarily. Thus the link is a universal countable -uniform hypergraph. In particular the link at a fixed vertex in the three-uniform case is the Rado graph. This operation retains a specified vertex; deleting the maximum from every edge is a different operation.
New to topics? Read the docs here!