:: deftheorem defines J-Rad TOPZARI1:def 14 :
for A being non degenerated commutative Ring holds J-Rad A = meet (m-Spectrum A);