\(S_i\) の中に Y が含まれているかどうかを調べる.