ABSTRACT
A relation is analytical if it has an explicit definition with a prefix consisting of quantifiers, which may be either universal or existential and may be on either number variables or real variables, and a recursive matrix. The basic theory of analytical relations is due to Kleene.
