:: deftheorem defines Banach_Algebra-like_2 CLOPBAN2:def 10 :
for X being non empty Normed_Complex_AlgebraStr holds
( X is Banach_Algebra-like_2 iff ||.(1. X).|| = 1 );