:: deftheorem defines nilpotent TOPZARI1:def 2 :
for A being non empty unital multLoopStr_0
for a being Element of A holds
( a is nilpotent iff ex k being non zero Nat st a |^ k = 0. A );