e relationship that the function Result returns. Since the relationship between two SLNs only includes five types, we can prove the correctness of the algorithm according to the following five cases. =-=(1)-=- Empty—Zero = 0. According to the function Result, Zero= 0 indicates that element ‘0’ is not contained in any Ri,j (G), which implies that there is no element that is contained in both Mi,j (G) and Mi