TheoremBase

π-System

A π-system on a set X is a set of subsets of X that contains the intersection of any two of its members.

Statement

In the setting of Routine Facts Used Without Citation: Arithmetic, Maps, Predicativity and Indices, let XX be a set.

A π\pi-system on XX is a subset E\mathcal{E} of the power set P(X)\mathcal{P}(X) such that the intersection A∩BA\cap B lies in E\mathcal{E} for all A,B∈EA,B\in\mathcal{E}.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…