Tarski defines truth in terms of the notion of the satisfaction of a formula of LCC by an infinite sequence of assignments (of appropriate objects: subclasses of the universe of individuals in the case of LCC). He gives first a recursive definition and immediately indicates how to transform it into a normal or explicit definition. The recursive definition is this: an infinite sequence of classes f satisfies formula F if and only if f and F are such that