 If \(\vDash_V\) in the conditions  (4)–(6)  is replaced by \(\vdash_{ \mathfrak{L} }\), then one obtains what is often called a Tarskian consequence relation. If additionally a consequence relation has the substitution property  (7),  then it is called structural. Thus, any entailment relation defined for a given valuation system \(\mathbf{V}\) presents an important example of a consequence relation, in that \(\mathbf{V}\) is strictly characteristic for some logical system \(\mathfrak{L}\) with a structural Tarskian consequence relation.