Definition of General Average