Addition: Closure, Communicative, Associative
Closure: |V> + |W> ∈V
Communicative: |V> + |W> = |W> + |V>
Associative: |V> + (|W>+|Z>) = (|V> + |W>)+|Z>