:: deftheorem Def12 defines being_SB-1 BCIALG_4:def 12 :
for IT being non empty BCIStr_1 holds
( IT is being_SB-1 iff for x being Element of IT holds x * x = x );