:: deftheorem Def7 defines ZariskiTS TOPZARI1:def 15 :
for A being non degenerated commutative Ring
for b₂ being strict TopSpace holds
( b₂ = ZariskiTS A iff ( the carrier of b₂ = Spectrum A & ( for F being Subset of b₂ holds
( F is closed iff ex E being non empty Subset of A st F = PrimeIdeals (A,E) ) ) ) );