 To abstract suitably, take a pointed Kripke model \((M,w)=(W,R,V,w)\). To determine whether the relation of this model is an equivalence relation we only need to consider the worlds and the relation. The pair of these elements constitute the fundamental level of the model and is called the frame of the model: