Equivalently this is just an ordinary group – a set with a group structure. One says discrete group for emphasis in a context where by default one is speaking about topological groups or Lie groups or groups equipped with other structure. See discrete ∞-groupoid for more discussion.