ここでformula_110をformula_111を含む超フィルターとするとformula_112の定義からformula_113。