Abstract Theories and models play important roles in the development and refinement of knowledge. This paper distinguishes between the two terms and illustrates them. A theory of the operator in human-machine systems, posed in the predicate calculus, is developed. Six axioms address multitask behavior and the response to events. A model of the theory is defined set-theoretically. Issues and implications are briefly explored.