With respect to all judgments \(m\) mediated by a set \(\mu\) of judgments, it is of high relevance whether the argument \(\langle \sigma , s\rangle\) corresponding to \(\langle \mu , m\rangle\) fulfills certain criteria. In the sections 3.8 and 3.9 we have already dealt with two logical relations which can obtain between the conclusion \(s\) and the set \(\sigma\) of premises of an argument \(\langle \sigma , s\rangle\) and which can easily be transferred to \(\langle \mu , m\rangle\): it is on