Equivalence of Definitions of Direct Limit of Sequence of Groups