Lower and upper limits of a filter base
Two cases, that I have been unable to unify: a filter base over a power set with a set, or over . First case: filter bases over a power set filter base over , with a set. Definitions Property It is always the case that . Proof: Let be an eventual…