In modal logic, describes a class of Kripke frames that is characterized by a first-order property (or set of first-order properties). For example, the class of frames for the modal logic $\text{T}$ is characterized by the first-order property of reflexivity and the class of frames for $\text{T}$ is thus elementary.