 Every abstract logic \(\cA = \langle \bA, C \rangle\) determines a quasi-order (a reflexive and transitive relation) on \(A\). It is the relation defined by \[a \le_{\cA } b\txtiff C(b) \subseteq C(a)\txtiff b \in C(a).\]