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