Re: It it a good idea to use the term 2-group outside of its use in group thoery?