The definition of several