Search
❯
Jun 05, 20261 min read
Let be a Poset and . Suppose for any there is some such that
Then is a filter base.