haven
A peaceful or tranquil place.
Other meanings
A certain type of function on sets of vertices in an undirected graph, able to be used by an evader to win a pursuit-evasion game on the graph.
A harbour or anchorage protected from the sea.
Synonyms
- oasis
A kind of
- shelter
Word history
From Old English "hæfen" (haven; harbour; port).
Where this comes from
This definition is adapted from “haven” on Wiktionary, by its contributors; related-word lists use Open English WordNet (CC BY 4.0, based on Princeton WordNet), published under CC BY-SA 4.0. This page is published under the same licence.