Complex sentence: In graph theory, a haven is a certain type of function on sets of vertices in an undirected graph, that can be used to determine a strategy for an evader to win a pursuit-evasion game on the graph.
Split into simpler sentences: In graph theory, a haven is a certain type of function on sets of vertices in an undirected graph. It can be used to determine a strategy for an evader to win a pursuit-evasion game on the graph.