Re-formalization of Individual Fairness