Acceptance and rejection of finite stems

ID: acceptance-and-rejection-of-finite-stems

Relative to a family , an infinite reservoir accepts a finite stem when its entire Ellentuck topology neighbourhood lies in . It rejects when no infinite refinement accepts it. Every reservoir has a refinement deciding a prescribed stem, and both outcomes are hereditary under further infinite thinning. These definitions turn open-set homogeneity into a fusion construction.

New to topics? Read the docs here!