Let be a Poset and . Suppose for any there is some such that

Then is a filter base.