Las dos características formales que hacen de un campo un campo gauge son: