Start=dual space Target=Vector space/Dual space/Definition