i

i

i

i

i

i

i

system of observables

observable



X and the empty set are observable

arbitrary unions of observable sets are observable

finite intersections of observable sets are observable



R

f-1(U) = {y | f(y) in U}

define

continuous

a priori