(1) D. A. Cox, J. Little, and D. O'Shea, Ideals, Varieties, and Algorithms, An introduction to Computer Algebraic Geometry and Commutative Algebra, Springer, 2015.
(2) K.E. Smith, L. Kahanpaa, P. Kekalainen, and W.Traves, An introduction to Algebraic Geometry, Springer, 2000.
Remark. An algebraic set V is said to be irreducible if V = V1 U V2 using some algebraic sets V1 and V2, then V=V1 or V=V2.
Second, remove a subset V={O} from W={y^3-x^2=0}.