Generalization is a formal concept in machine learning and is measurable.