Direct product of finite groups

Definition
A group is termed a direct product of finite groups if it is isomorphic to the defining ingredient::external direct product of a collection of (possibly infinitely many) finite groups.