One generally calls $X$ the group, i.e. the set where the operation “$+$” is defined on.

An abelian group is also a module over the ring of integers.

Wikipedia: group

Group, Abelian monoid, Module