それは、formula_9をclub集合とするとformula_10はclub(二つのclub集合の共通部分はclub)であり、