Let be a Poset. A Filter Base is called a filter if it is upwards closed. Lemma Let be a Filter Base. Then the Upward Closure of : is a Filter - the filter generated by .