mathswitch — infrastructure for relaying and exchanging mathematical concepts

acyclic graph

undirected graph having no graph cycles that may be connected or non-connected

Wikidata: acyclic graph
Agda Unimath: acyclic undirected graph