Wiki. “∞-群” [∞-群]