Definitions of vortex vector and vortex. (18th June 2018)