Standard Model (mathematical formulation)