Mean Activity Coefficient Definition