Hypergraph specifications

In general, need Hyperedge with symmetries.
ab:Hyperedge[{a,b}]
ab:Hyperedge[{a,b},graph]
Hyperedge[{a,b,c}]:(*orderedhyperedge*)
Hyperedge[{a,b,c},"Undirected"]

Generalization of graph functions

Graph --- generalizes to Hypergraph
CompleteGraph --- what are special hypergraphs? CompleteHypergraph
RandomGraph --- generalize to RandomHypergraph ?
HighlightGraph --- should work
GraphDistance --- should work
IsomorphicGraphQ --- should work

Syntax OK:

VertexDegree,HamiltonianGraphQ,
​
BreadthFirstScan --- how to generalize ???

Additional functions

dimension measurement function