 Hall's universal group

In algebra, Hall's universal group is
a countable locally finite group, say "U", which is uniquely 
characterized by the following properties.It was defined by Philip Hall in 1959, and has the universal property that "all countable locally finite groups" embed into it.