Normally finitely generated group

Equivalent definitions in tabular format
A group is termed a normally finitely generated group or finitely normally generated group or normal closure in itself of finite subset if it satisfies the following equivalent conditions: