 The consequence operations on a set \(A\) are in one-to-one correspondence with the abstract consequence relations on \(A\). The move from a consequence operation \(C\) to a consequence relation \(\vdash_C\) and, conversely, from a consequence relation \(\vdash\) to a consequence operation \(C_{\vdash}\) is easy and given by the definitions: