Type Alias HyperedgeId 

pub type HyperedgeId<H> = <H as TopologyBase>::RelationId;

Hypergraph-facing alias for a topology relation ID (hyperedge).