Y=\{(x_n)\in X :x_n=1 for at most finitely many n \}