補集合 の 概念 は 集合論 に おいて 重要 な 役割 を 果たし ます 。