Kripke-frame Definition

noun

(logic) A set whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.

Wiktionary