Order of a group — LessWrong