for A being non degenerated commutative Ring
for G being Subset-Family of (Spectrum A) st ( for S being set st S in G holds
ex E being non empty Subset of A st S = PrimeIdeals (A,E) ) holds
ex F being non empty Subset of A st Intersect G = PrimeIdeals (A,F)