Definition of Lie