for TG being Abelian TopaddGroup
for U being a_neighborhood of 0_ TG holds element_left_uniformity U = element_right_uniformity U