e/Hall's universal group

Information
has gloss	eng: In algebra, Hall's universal group is a countable locally finite group, say U, which is uniquely characterized by the following properties.
lexicalization	eng: Hall's universal group
instance of	e/Permutation group