So far, most of the literature on (quantum) contextuality and the Kochen– Specker theorem seems either to concern particular examples of contextuality, or be considered as quantum logic. Here, we develop a general formalism ...