Preference relation, choice rule and utility function