Profinite group

Any group constructed by the first definition satisfies the axioms in the second definition.