| Whenever x and y are in V, then x+y is in V. | |
| Whenever x and y are in W, then x+y is in V. | |
| Whenever x and y are in W, then x+y is in W. | |
| Whenever x and y are in V, then x+y is in W. | |
| If x+y is in W, then x and y are in W. | |
| W(x+y) = Wx + Wy for every two vectors x and y. | |
| Every vector in W is the sum of two vectors in W. |