Further, in this context the usage of 'symmetry breaking' while standard, is a misnomer, as gauge 'symmetry' is not really a symmetry but a redundancy in the description of the system. Mathematically, this redundancy is a choice of trivialization, somewhat analogous to redundancy arising from a choice of basis.