Definition of proportion