The correspondence between a collection of objects and a property. For example, a property $\Phi$ is said to characterize a class of Kripke frames if the members of that class are precisely those frames of which $\Phi$ holds. In the case of a deductive system itself, characterization describes the correspondence between a consequence relation and either a particular semantics or proof theory.