Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs