:: deftheorem Def9 defines Spec TOPZARI1:def 16 :
for A, B being non degenerated commutative Ring
for h being Function of A,B st h is RingHomomorphism holds
for b₄ being Function of (ZariskiTS B),(ZariskiTS A) holds
( b₄ = Spec h iff for x being Point of (ZariskiTS B) holds b₄ . x = h " x );