• ある集合 について、 に含まれていない要素の集合を 補集合 という