今日は定義だけ。可換環Rのイデアルの場合は、{0}とR自身も、自明なイデアルとしてイデアルの仲間に入れることが多いのですが、束Lのフィルターの場合、L自身はフィルターとは呼ばないほうが多数派みたい。以下の条件が、L自身を除いたフィルターの定義にな…