An [[Finite]] [[Group]] is a [[Group]] with a [[Set|set]] $G$ that has a [[Finite]] [[Cardinality]].