**Description:** An undirected multigraph is an undirected hypergraph. (Contributed by AV, 26-Nov-2020)

Ref | Expression | ||
---|---|---|---|

Assertion | umgruhgr | $${\u22a2}{G}\in \mathrm{UMGraph}\to {G}\in \mathrm{UHGraph}$$ |

Step | Hyp | Ref | Expression |
---|---|---|---|

1 | umgrupgr | $${\u22a2}{G}\in \mathrm{UMGraph}\to {G}\in \mathrm{UPGraph}$$ | |

2 | upgruhgr | $${\u22a2}{G}\in \mathrm{UPGraph}\to {G}\in \mathrm{UHGraph}$$ | |

3 | 1 2 | syl | $${\u22a2}{G}\in \mathrm{UMGraph}\to {G}\in \mathrm{UHGraph}$$ |