  Using the Naimark dilation theory we investigate the question under what
conditions an observable which is a coarse graining of another observable is a
function of it. To this end, conditions for the separability and for the
Boolean structure of an observable are given.
