First of all, as mentioned above, the sequents can be viewed to consist of sets or multisets.
首先，如上面提及的，相继式可以被看做由集合或多重集组成。