 \(R_{K}\) is the relation for the knowledge operator and \(R_{B}\) the relation for the belief operator. The definition makes no further assumptions about their properties. In the figure below we provide an illustration, where the arrows are labeled in accordance with the relation they correspond to. The reflexive loop at \(w_{3}\) is a label indicating that it belongs to both relations, i.e., \((w_{3},w_{3})\in R_{K}\) and \((w_{3},w_{3})\in R_{B}\).