Definition of Extension