Vector space properties