 This mathematical structure is also known as a relational structure (Blackburn, Rijke, &amp; Venema 2001), which is the set-theoretic equivalent of a so-called modal logic (Blackburn et al. 2001), a mathematical language that is well-suited to express the mathematical properties of relations. A relational structure will henceforth be denoted \(F\), which stands for frame.