:: deftheorem Def4 defines quasi-primary IDEAL_2:def 4 :
for A being non empty well-unital doubleLoopStr
for S being Subset of A holds
( S is quasi-primary iff for x, y being Element of A holds
( not x * y in S or x in S or y in sqrt S ) );