Definition:Numerator