If the client invokes a web service with the IN-ONLY operation, then the sequenceof invocations in both RM Source and RM Destination will be subsets of the sequences, as shown in Figure 7 above.
Through set sequence is resolved into finite mutually disjunct subsets, the new method to solve the limit superior and limit inferior of set sequence is give.