possible world

noun

1. logic (in modal logic) a semantic device formalizing the notion of what the world might have been like. A statement is necessarily true if and only if it is true in every possible world