An [[Infinity|Infinite]] [[Group]] is a [[Group]] with a [[Set|set]] $G$ that is an [[Infinite Set]], that is the [[Cardinality]] of $G$ is [[Infinity|infinite]].