On Formalizing Fairness in Prediction with Machine Learning · Study