Equivalence of Definitions of Direct Limit of Sequence of Groups

Theorem
The following definitions for a direct limit of a sequence of groups are equivalent: