 A different, but mathematically equivalent, (formal) approach is to consider consequence relations on a set of formulas instead of consequence operations. A(n) (abstract) consequence relation on the set of formulas of a formal language is a relation \(\vdash\) between sets of formulas and formulas that satisfies the following conditions: