集合の被覆
数学において被覆(ひふく、cover)とは、ある集合がその集合の部分集合の族で覆われるとき、その部分集合の族のことをいう。