A π-system on a set X is a set of subsets of X that contains the intersection of any two of its members.
In the setting of Routine Facts Used Without Citation: Arithmetic, Maps, Predicativity and Indices, let be a set.
A -system on is a subset of the power set such that the intersection lies in for all .
Loading…
No relations recorded yet.