Definition:Direct Product of Family of Groups