Dua siklus dalam \(S_X\text{,}\) \(\sigma = (a_1, a_2, \ldots, a_k )\) dan \(\tau = (b_1, b_2, \ldots, b_l )\text{,}\) dikatakan saling lepas jika \(a_i \neq b_j\) untuk semua \(i\) dan \(j\text{.}\)