Definition of Linear space