证明素漏斗的一个充要条件

首先给出格L的非空子集F是漏斗的等价条件,由此证明了格L的非空子集F是素漏斗的一个充要条件。