Describes a consequence relation $\models$ when adding extra premisses may make a valid inference invalid. That is, one may have $\text{Γ}\models \phi$, whilst it is not the case that $\text{Γ},\psi \models \phi$ for some $\psi$.