A consequence relation in the family of relevant logics. The premises and conclusion may contain conjunction, disjunction, and negation, but not the conditional operator, $\to$ (That is, they are of degree 0.) If $\psi$ follows from $\phi$ in first degree entailment, then $\phi \to \psi$ is valid in all relevant logics.