Axiom 0. [State, System]. A state of the system S is represented by an element ω(∈Ω) . This is too basic (or, self-evident), thus it is often omitted as in (D).