Definition of "hyperboloid"