A G counter, or grow-only counter, allows actors to increment values while uniquely identifying each actor in the system. By representing the counter as a set of pairs, each actor's increments are summed through union operations, ensuring the count only grows over time. This monotonic behavior facilitates the use of maximum values when merging states, laying the groundwork for more complex state-based implementations.
