Inverses means that for each set element there is a unique companion set element such that composition in either order results in the identity element.
Inverses means that for each set element there is a unique companion set element such that composition in either order results in the identity element.
(W,+) is closed, has an identity, and no inverses...the negatives aren’t in W.