"g" をアーベル群、"a", "b" を "g" の空でない有限部分集合とする。