Definition:Vector Space over Division Ring