开覆盖

open covering