Formalizing Fairness