Das Wort "induziert" bedeutet in der Mathematik immer, das es sich um etwas handelt, was durch die Definition des Objekts bereits auf der Hand liegt.
Also dadurch, dass du W als Untervektorraum von (V, +) definierst, ist in W die Operation + induziert, denn damit bildet W auf jeden Fall selbst einen Vektorraum. Du kannst natürlich auf W auch noch ganz andere Operationen definieren, aber um zu prüfen, ob W bezüglich diesen Operationen einen Vektorraum darstellt, kann nicht einfach auf die Definition als Untervektorraum verwiesen werden.
Und, ja, da das die definierenden Eigenschaften eines Untervektorraums sind, müssen nur diese drei Eigenschaften gezeigt werden.
Manchmal fordert man statt der ersten Bedingung auch, dass der Nullvektor enthalten ist. Man kann aber zeigen, dass beide Formulierungen äquivalent sind.
Nimmt man nämlich deine drei Bedingungen, dann folgt aus 1.) dass es mindestens ein Element w gibt.
Mit w ist dann wegen 3.) auch (-1)*w=-w Element von W.
Wegen 2.) ist dann auch w+(-w) = 0 Element von W.
Die andere Richtung ist natürlich völlig klar, wenn 0 Element von W ist, dann ist W offensichtlich nicht leer.