:: deftheorem Def6 defines norm-conjugative CAYLDICK:def 6 :
for N being non empty ConjNormAlgStr holds
( N is norm-conjugative iff for a being Element of N holds ||.(a *').|| = ||.a.|| );