This Element explores the formal and conceptual foundations of phase space formulations of classical and quantum mechanics. The formal material is unified via three interpretative themes relating to structured possibility spaces, Liouville's theorem and its failure, and the classical and quantum notions of open and closed systems.