Presents a general mathematical framework for information retrieval, in which query evaluation is seen as a mapping from the free term algebra built by query descriptors and weights to the semantic algebra of evaluation value. Competing mathematical models that try to describe how retrieval systems behave are reviewed. (Author/MBR)