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!