The various terms used in this definition, with the exception of the primitive term 'observable', have been explained more precisely in section 'observable' is undefined, but can also be explained fairly precisely, as we have seen here.