Definition:Zero Vector